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.
Van Nostrand Reinhold, NY 1985; 345 pages, index, glossary, diagrams.
State Press for Physiicomathematical Literature, Moscow 1962; English translation; 610 pages, diagrs.
Elsevier, NY, 1983, 271 pgs, Illustrations, Photographs, Bibliography, Appendices, Glossary, Index.
Apple Computer, inc, Cupertino CA 1989; 275 pages, index, diagrams throughout.
Apple Computer Inc. Cupertino CA 1989; 150 pages plus foldout Reference Cards at rear (intact), unused.
Artech House, Mass., 1986; 416 pages, diagrams, index, references.
MIT Press, MA, 1980, stated second printing; 335 pages, index, appendices.
Prentice-Hall NJ, 1986, first edition; 500 pages, index, dual red and black typeface throughout for emphasis.
Prentice-Hall NJ, 1973; 559 pages, Illustrations, Bibliography, Appendix, Index.
Prentice-Hall NJ, 1987 first edition; 380 pages, diagrams & illustrations, Index.
Prentice Hall, Englewood Cliffs NJ 1986, later printing; 360 pages, index, illus.
Instructo/McGraw Hill, NY 1979, 39 pages double-column text, diagrams; plus oversized cardboard cut-outs for assembly.
Macdonald/Elsevier, London & NY, 1972; 112 pages, Index.
Association for Computing Machinery, volume 2, number 9, September 1959, article on pp. 55-59 inclusive; 60 pages plus advertisements, double-column text, illustrations.
MIT Press MA, 1986, seventh printing 1988; 611 pages, index, diagrams, references.
Bell Telephone System Technical Publications, 1959, monograph offprint from BSTJ November 1959; issued December 1959, stated inside rear cover; 28 pages, diagrams, references.
John Wiley & Sons, Inc. NY, 1962, 106 pages, diagrams, Exercises, Answers, Index.
McGraw Hill Book Co, NY 1952; 371 pages, Index, Bibliography.
Prelude Press, Ballantine Books NY 1983, stated first edition; 221 pages, illustrations, some photographs.
Van Nostrand Reinhold Company, NY, 1983. Double-column text. 552 pages. Illustrations, Bibliography, Index.
Academic Press, NY 1980, later printing ; 659 pages, diagrams and photographs, references, bibliography etc.
Tioga Publishing Co. CA, 1983, 572 pp, Illustrations, Tables, Bibliography, Glossary, Index.
Bell Tel. Labs, NY issued July 1958 printed inside rear cover, published in AIEE Transactions March 1958, 4 pages, triple-column text, references, tables and diagrams.
McGraw-Hill Book Co NY 1980, 398 pages, Index, diagrams; double-column text.