Index of patents: The United States patent office - Washington: US Government Printing Office