%A Harold Abelson
%A Gerald Jay Sussman
%A Julie Sussman
%T Structure and interpretation of computer programs
%S Electrical Engineering and Computer Science series
%I MIT Press
%C Cambridge, Massachusetts
%D 1984
%P 542

%A Harold Abelson
%A Andrea diSessa
%T Turtle geometry: the computer as a medium for exploring mathematics
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 478

%A Gul Agha
%T Actors: a model of concurrent computation in distributed systems
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D October 1986
%P 190

%A Subhash Chandra Agrawal
%T Metamodeling: a study of approximations in queueing models
%S Computer Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 288

%E A.D. Aleksandrov
%E A.N. Kolmogorov
%E M.A. Laverentev
%E S.H. Gould
%T Mathematics: its contents, methods, and meaning
%I MIT Press
%C Cambridge, Massachusetts
%D ???

%A F. Andre
%A D. Herman
%A J.P. Verjus
%T Synchronization of parallel programs
%S Scientific Computation series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 110

%A Haruhiko Asada
%A Kamal Youcef-Toumi
%T Direct-drive robot: theory and practice
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 300

%A Henry Babbage
%T Babbage's early computers
%S Charles Babbage Institute reprint series for the History of Computing
%N 2
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%A Henry S. Baird
%T Model-based image matching using location
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 108

%A Jon Barwise
%A John Perry
%T Situations and attitudes
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 352

%A Charles J. Bashe
%A Lyle R. Johnson
%A Emerson W. Pugh
%T IBM's early computers
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 744

%A Robert Berwick
%T The acquisition of syntactic knowledge
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 368

%A Daniel G. Bobrow
%T Qualitative reasoning about physical systems
%S Computational Models of Cognition and Perception series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 496

%E Michael Brady
%E Richard Paul
%T Robotics research: the First International Synposium
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1984
%P 1000

%E Michael Brady
%E John M. Hollerbach
%E Timothy L. Johnson
%E Tomas Lozano-Perez
%E Matthew T. Mason
%T Robot motion: planning and control
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 586

%A Valentino Braitenberg
%T Vehicles: experiments in synthetic psychology
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 152

%E Michael Bray
%E Robert C. Berwick
%T Computational models of discourse
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 404

%E Martin Campbell-Kelly
%E M.R. Williams
%T The Moore School lectures
%S Charles Babbage Institute reprint series for the History of Computing
%N 9
%I MIT Press
%C Cambridge, Massachusetts
%D 1985

%A Ben-Zion Chor
%T Two issues in public key cryptography:
RSA bit security and a new knapsack type system
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 80

%A Paul M. Churchland
%T Matter and consciousness
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%A William Clancey
%T Knowledge-based tutoring: the GUIDON program
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1987
%P 350

%A Maurice d'Ocagne
%T Le calcul simplifie:
graphical and mechanical methods for simplyfying calculation
%S Charles Babbage Institute reprint series for the History of Computing
%N 11
%I MIT Press
%C Cambridge, Massachusetts
%D October 1986
%P 192

%A Daniel C. Dennett
%T Brainstorms: philosophical essays on mind and psychology
%I MIT Press
%C Cambridge, Massachusetts
%D 1981
%P 356

%A Michael G. Dyer
%T In-depth understanding:
a computer model of integrated processing for narrative comprehension
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 458

%A Carl Ebeling
%T All the right moves: a VLSI architecture for chess
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 175
%K Hitech

%A W.J. Eckert
%T Punched card methods in scientific computation
%S Charles Babbage Institute reprint series for the History of Computing
%N 5
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%A John R. Ellis
%T Bulldog: a compiler for VLIW architectures
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 320
%K trace scheduling

%A Scott E. Fahlman
%T NETL: a system for representing and using real-world knowledge
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1979
%P 278

%E Olivier Faugeras
%E George Giralt
%T Robotics research: the Third International Synposium
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 550

%A Owen J. Flanagan,\ Jr.
%T The science of the mind
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%A Jerry A. Fodor
%T The modularity of mind
%I MIT Press
%C Cambridge, Massachusetts
%D 1983

%E Tom Forester
%T The information technology revolution
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 674

%A Hideo Fujiwara
%T Logic testing and design for testability
%S Computer Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 284

%A Richard P. Gabriel
%T Performance and evaluation of Lisp systems
%S Computer Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 350

%A Yvon Gardan
%T Mathematics and CAD: numerical methods
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 166

%A Eric Leifur Grimson
%T From images to surfaces:
a computational study of the human early visual system
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1981
%P 274

%E Hideo Hanahusa
%E Hirochika Inoue
%T Robotics research: the Second International Synposium
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 500

%A Douglas Hartree
%T Calculating machines: recent and prospective developments and their impact
on mathematical physics and calculating instruments and machines
%S Charles Babbage Institute reprint series for the History of Computing
%N 6
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%A Brian Harvey
%T Computer science Logo style, volume 1: intermediate programming
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 320

%A Brian Harvey
%T Computer science Logo style, volume 2: projects, styles and techniques
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 318

%A Johan Torkel Hastad
%T Computational limitations for small depth circuits
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 104

%A John Haugeland
%T Artificial intelligence: the very idea
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 290

%A John Haugeland
%T Mind design: philosophy, psychology, and artificial intelligence
%I MIT Press
%C Cambridge, Massachusetts
%D 1981
%P 368

%A Steve J. Heims
%T John von Neumann and Norbert Wiener:
from mathematics to the technologies of life and death
%I MIT Press
%C Cambridge, Massachusetts
%D 1980
%P 547

%A Ellen Catherine Hildreth
%T Measurement of visual motion
%I MIT Press
%C Cambridge, Massachusetts
%D 1984
%P 241

%A Paul N. Hilfinger
%T Abstraction mechanisms and language design
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 176

%A W. Daniel Hillis
%T The connection machine
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%S Artificial Intelligence series
%P 208

%A John H. Holland
%A Keith J. Holyoak
%A Richard E. Nisbett
%A Paul R. Thagard
%T Induction: processes of inference, learning and discovery
%S Computational Models of Cognition and Perception series
%I MIT Press
%C Cambridge, Massachusetts
%D September 1986
%P 416

%A Berthold Klaus Paul Horn
%T Robot vision
%S Electrical Engineering and Computer Science series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 510

%A Norbert Hornstein
%T Logic as grammar: an approach to meaning in natural language
%I MIT Press
%C Cambridge, Massachusetts
%D September 1986
%P 176

%A E.M. Horsburgh
%T Handbook of the Napier tercentenary celebration,
or modern instruments and methods of calculation
%S Charles Babbage Institute reprint series for the History of Computing
%N 3
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%E Kiyosi Ito
%T Encyclopedic dictionary of mathematics
%I MIT Press
%C Cambridge, Massachusetts
%D October 1986
%P 800 + 800 + 800 + 800

%A Manolis G.H. Katevenis
%T Reduced instruction set computer architectures for VLSI
%I MIT Press
%C Cambridge, Massachusetts
%D 1984
%P 215
%K RISC

%A Scott Kim
%T Inversions: a catalog of calligraphic cartwheels
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 126

%E David Klahr
%E Pat Langley
%E Robert T. Neches
%T Production system models of learning and development
%S Computational Models of Cognition and Perception series
%I MIT Press
%C Cambridge, Massachusetts
%D December 1986
%P 384

%A Kohi Kobayashi
%T Computers and communications: a vision of C&C
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 206

%A James U. Korein
%T A geometric investigation of reach
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 208

%E Janusz S. Kowalik
%T Parallel MIMD computation: HEP supercomputer and its applications
%S Scientific Computation series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 412

%A Pat Langley
%A Herbert A. Simon
%A Gary L. Bradshaw
%A Jan M. Zytkow
%T Scientific discovery: computational explorations of the creative process
%I MIT Press
%C Cambridge, Massachusetts
%D September 1986
%P 264
%K BACON, DALTON, GLAUBER, STAHL

%E Charles E. Leierson
%T Advanced research in VLSI
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 322

%A Charles Eric Leierson
%T Area-efficient VLSI computation
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 116

%A Barbara Liskov
%A John Guttag
%T Abstraction and specification in program development
%S Electrical Engineering and Computer Science series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 470

%A William R. Mallgren
%T Formal specification of interactive graphics programming languages
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 269

%A Mitchell P. Marcus
%T A theory of syntactic recognition for natural language
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1980
%P 335

%A M. Ajmone Marsan
%A G. Balbo
%A G. Conte
%T Performance models of multiprocessor systems
%S Computer Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D January 1987
%P 330

%A Daniel Martin
%T Advanced database techniques
%S Information Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 330

%A Matthew T. Mason
%A J. Kenneth Salisbury,\ Jr.
%T Robot hands and the mechanism of manipulation
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 300

%E J.M. McCarthy
%T Kinematics of robot manipulators
%I MIT Press
%C Cambridge, Massachusetts
%D December 1986
%P 200

%A John McCarthy
%T Lisp 1.5 programmer's manual
%I MIT Press
%C Cambridge, Massachusetts
%D 1962
%P 106

%A James L. McClelland
%A David E. Rumelhart
%Q PDP Research Group
%T Parallel distributed processing:
explorations in the microstructure of cognition,
volume 2: psychological and biological models
%S Computational Models of Cognition and Perception series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 550

%A Marvin L. Minsky
%T Semantic information processing
%I MIT Press
%C Cambridge, Massachusetts
%D 1969
%P 440

%A Rene Moreau
%T The computer comes of age: the people, the hardware and the software
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 228

%E A. Morecki
%E G. Blanchi
%E K. Kedzior
%T Theory and practice of robots and manipulators:
Proceedings of the RoManSy 1984, the Fifth CISM-IFToMM Symposium
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 444

%A J. Eliot B. Moss
%T Nested transactions: an approach to reliable distributed computing
%S Information Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1984
%P 162

%A Ketan Mulmuley
%T Full abstraction and semantic equivalence
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 224

%A John von\ Neumann
%T Papers of John von Neumann on computers and computer theory
%S Charles Babbage Institute reprint series for the History of Computing
%N 12
%I MIT Press
%C Cambridge, Massachusetts
%D November 1986
%P 640

%A Raymond S. Nickerson
%T Using computers: human factors in information systems
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 436

%A Michael J. O'Donnell
%T Equational logic as a programming language
%S Foundations of Computing series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 300

%A E.I. Organick
%T The Multics system: an examination of its structure
%I MIT Press
%C Cambridge, Massachusetts
%D 1972
%P 392

%A Richard P. Paul
%T Robot manipulators: mathematics, programming, and control
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1981
%P 280

%A W. Wesley Peterson
%A E.J. Weldon,\ Jr.
%T Error-correcting codes
%I MIT Press
%C Cambridge, Massachusetts
%D 1972
%P 570

%E Steven Pinker
%T Visual cognition
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 280

%A Gerald J. Popek
%T The LOCUS distributed system architecture
%S Computer Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 148

%E J.L. Potter
%T The Massively Parallel Processor
%S Scientific Computation series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 300

%A Zenon Pylyshyn
%T Computation and cognition: toward a foundation for cognitive science
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 292

%A Marc H. Raibert
%T Legged robots that balance
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 234

%A M. Raynal
%T Algorithms for mutual exclusion
%S Scientific Computation series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 160

%A Rachel Reichman
%T Getting computers to talk like you and me:
discourse context, focus, and semantics
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 222

%A Thomas W. Reps
%T Generating language-based environments
%I MIT Press
%C Cambridge, Massachusetts
%D 1984
%P 138

%E Curtis Roads
%E John Strawn
%T Foundations of computer music
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 712

%A David E. Rumelhart
%A James L. McClelland
%Q PDP Research Group
%T Parallel distributed processing:
explorations in the microstructure of cognition,
volume 1: foundations
%S Computational Models of Cognition and Perception series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 550

%E Ehud Shapiro
%T Concurrent Prolog
%S Logic Programming series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986

%A Ehud Y. Shapiro
%T Algorithmic program debugging
%I MIT Press
%C Cambridge, Massachusetts
%D 1983
%P 232

%A William McC. Siebert
%T Circuits, signals, and systems
%S Electrical Engineering and Computer Science series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 652

%A Herbert A. Simon
%T The sciences of the artificial
%I MIT Press
%C Cambridge, Massachusetts
%D 1981
%P 247

%A Cynthia Solomon
%T Computer environments for children:
a reflection on theories of learning and education
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 288

%Q Staff of Engineering Research Associates
%T High-speed computing devices
%S Charles Babbage Institute reprint series for the History of Computing
%N 4
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%A Dorothy Stein
%T Ada: a life and a legacy
%S History of Computing series
%I MIT Press
%C Cambridge, Massachusetts
%D 1985
%P 368

%A Leon Sterling
%A Ehud Shapiro
%T The art of Prolog: advanced programming techniques
%S Logic Programming series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 427

%A Joseph E. Stoy
%T Denotational semantics:
the Scott-Strachey approach to programming language theory
%S Computer Science series
%I MIT Press
%C Cambridge, Massachusetts
%D 1978
%P 416

%A William S. Strong
%T The copyright book: a practical guide
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 240

%A Kokichi Sugihara
%T Machine interpretation of line drawings
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 256

%A Hideaki Takagi
%T Analysis of polling systems
%S Computer Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 198

%A Shuji Tasaka
%T Performance analysis of multiple access protocols
%S Computer Systems series
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 266

%Q The Harvard Computation Laboratory
%T A manual of operation for the Automated Sequence Controlled Calculator
%S Charles Babbage Institute reprint series for the History of Computing
%N 7
%I MIT Press
%C Cambridge, Massachusetts
%D 1985

%Q The Harvard Computation Laboratory
%T Proceedings of a symposium on large-scale calculating machinery
%S Charles Babbage Institute reprint series for the History of Computing
%N 8
%I MIT Press
%C Cambridge, Massachusetts
%D 1985

%A Tommaso Toffoli
%A Norman Margolus
%T Cellular automata machines: a new environment for modelling
%S Scientific Computation series
%I MIT Press
%C Cambridge, Massachusetts
%D September 1986
%P 200

%E A.M. Turing
%E B.E. Carpenter
%A R.W. Doran
%T A.M. Turing's ACE report of 1946
%S Charles Babbage Institute reprint series for the History of Computing
%N 10
%I MIT Press
%C Cambridge, Massachusetts
%D 1985

%A David Michael Ungar
%T The design and evaluation of a high performance Smalltalk system
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 250
%K SOAR, RISC

%A Maurice V. Wilkes
%T The preparation of programs for an electronic digital computer
%S Charles Babbage Institute reprint series for the History of Computing
%N 1
%I MIT Press
%C Cambridge, Massachusetts
%D 1984

%E Patrick H. Winston
%E Karen A. Prendergast
%T The AI business: commercial uses of artificial intelligence
%I MIT Press
%C Cambridge, Massachusetts
%D 1986
%P 192

%E Patrick H. Winston
%E Richard Henry Brown
%T Artificial intelligence: an MIT perspective
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D 1982
%P 492 + 486

%E Akinori Yonezawa
%E Mario Tokoro
%T Object-oriented concurrent programming
%S Artificial Intelligence series
%I MIT Press
%C Cambridge, Massachusetts
%D November 1986
%P 225