Programming with Specifications -- an introduction to Anna, a language for specifying ADA programs.
Springer-Verlag, text and monographs in computer science series; 1990, 416 pages, includes bibliography.
Springer-Verlag, text and monographs in computer science series; 1990, 416 pages, includes bibliography.
Elsevier, NY, 1983, 271 pgs, Illustrations, Photographs, Bibliography, Appendices, Glossary, Index.
Apple Computer Inc. Cupertino CA 1989; 150 pages plus foldout Reference Cards at rear (intact), unused.
Intertext Publishers, McGraw-Hill Book Co, NY 1989 first edition; 472 pages, index, references, diagrams.
Bell System Technical Journal, Bell Telephone Laboratories NY, monograph B-338, orig published IRE 1928; 5 pages plus blanks at rear, diagrams.
Prentice-Hall NJ, 1986, first edition; 500 pages, index, dual red and black typeface throughout for emphasis.
Bell Telephone Laboratories NY no date, published in BSTJ July 1934; 48 pages, diagrams.
Association for Computing Machinery, volume 2, number 9, September 1959, article on pp. 55-59 inclusive; 60 pages plus advertisements, double-column text, illustrations.
Van Nostrand Reinhold Company, NY, 1983. Double-column text. 552 pages. Illustrations, Bibliography, Index.
Report No. 175, Dept. of Computer Science, University of Illinois, Urbana, Ill., April 22, 1965; 19 pages, illus., references.
Mitsubishi Electric 1985; stated first edition February 1985; approximately 103 pages, diagrams, tables.
Monolithic Memories, 1980, approx. 200 pages, each Section paginated separately, diagrams, tables, text.
Monolithic Memories, Santa Clara CA 1978, fourth edition 1985; approx. 385 pages, each Section paginated separately, double column text, diagrams throughout.
Notes on Applied Science No. 16, NPL, London 1957, 1961 second edition, fourth impression 1965; 170 pages, index, extensive Biblliography.
National Semiconductor Corp, CA 1983; large thick softbound book, approx. 900 pages, tabbed sections.
American Telephone & Telegraph, NY 1932; complete separate January issue; 196 pages.
BSTJ, American Telephone and Telegraph Co, NY 1940; vol IX no. 1, January 1940; whole issue, blue paper wraps, pp 1 - 160 inclusive; photographs, illustrations, references.
John Wiley & Sons NY 1978, 287 pages, index.
Report No. 330, Dept. of Computer Science, University of Illinois at Urban-Champaign, IL, May 20, 1969; 20 pages, single-sided reproduced typescript.
Report No. 200, Dept. of Computer Science, University of Illinois, Urbana, Ill., February 22, 1966; 15 pages, references.
Morgan Kauffman, SF Calif., 1996, 552 pages, indexappendices, diagrams.
Iowa State University Press, 1976 first ed 462 pgs, Illust., Graphs, Appendices, Bibliography, Index.
Philbrick Researches, Inc, Dedham MA, Report as of August 1966; 12 page plus tan cardstock covers; diagrams, tables.
Prentice-Hall NJ 1984, second edition 1990; 631 pages, index, references, problems, diagrams etc.
Cambridge University Press, London, NY, 1986; 818 pages, index.