A complete LISP-Bibliography

Herbert Stoyan University of Erlangen D-852 Erlangen, Germany

Not completely sorted, still under revision

\bibitem[Ton68]{Ton68} "TonL": A Temporary Updater for LISP Users, M.I.T., Art. Intell. Lab., Internal Note, Cambridge, 1968

\bibitem[LI87]{LI87} ?: LISP and Symbolic Computation - 1st Announcement of the Journal, 1987

\bibitem[TI85d]{TI85d} ?: Explorer LISP Reference. Texas Instruments, TI Part No.: 2243201-0001, June 1985

\bibitem[TI85c]{TI85c} ?: Personal Consultant User's Guide. Texas Instruments, TI Part No.: 2243763-0001, May 1985

\bibitem[TI85b]{TI85b} ?: TI Scheme Language Reference Manual. Texas Instruments, TI Part No.: 2537905-0001, Dec. 1985

\bibitem[TI85a]{TI85a} ?: PC Scheme User's Guide. Texas Instruments, TI Part No.: 2537904-0001, Dec. 1985

\bibitem[LOO85]{LOO85} ?: Loops Course Material. Xerox Corp., Palo Alto, 1983 - 1985

\bibitem[LMI85]{LMI85} ?: ObjectLISP for Experienced Programmers. LMI, 1401-0000, Cambridge, Aug. 1985

\bibitem[IQ85]{IQ85} ?: IQLISP Reference Manual. Integral Quality, Revised Issue, May, 1985

\bibitem[ILD85]{ILD85} ?: Introduction to InterLISP-D, (Course Material). Xerox Corp., Palo Alto, 1983 - 1985

\bibitem[IQ84]{IQ84} ?: NIQ/3. Integral Quality, Seattle, March 1984

\bibitem[IQL83]{IQL83} ?: IQLISP Version 1.4.3, Manual, Integral Qality, Seattle, Sept. 1983

\bibitem[OPS83]{OPS83} ?: VAX-11 OPS5 User's Guide. Digital Equipment Corp. DEC, Maynard, Mass., Oct. 1983

\bibitem[ILD83]{ILD83} ?: Intermediate InterLISP - D Programming Index. Xerox Corp., Palo Alto, 1983 - 1985

\bibitem[GCL83]{GCL83} ?: Golden Common LISP: A Technical Summary, Version 1.1, Gold Hill Computers, Inc., Cambridge, Mass., 1983

\bibitem[UTL81]{UTL81} ?: New Features in UTLISP Version 5. Univ. of Texas at Austin, Computation Center, Austin, July 29, 1981 addendum zum UTLISP 5.0 Ref. Manual, CCUM-2, Nov. 80

\bibitem[Sym81]{Sym81} ?: Symbolics Software,Symbolics, Inc., Cambridge, Mass., 1981

\bibitem[PAR81]{PAR81} ?: Masterscope Syntax. Xerox PARC, Palo Alto, CA, ca. 1981

\bibitem[Cro81]{Cro81} ?: Cromemco LISP. Cromemco, Inc., News Release, ca. 1981

\bibitem[Upp79]{Upp79} ?: InterLISP- File HPDL. Uppsala Univ., Data Center, Uppsala, Sweden, 1979

\bibitem[MAC76b]{MAC76b} ?: MACLISP - S-Expression Formatter for Files (Grind), M.I.T., Cambridge, 1976

\bibitem[MAC76a]{MAC76a} ?: AI: INFO.; LISP RECENT. M.I.T.,Cambridge, Sep. 1976

\bibitem[MAC75]{MAC75} ?: MACLISP - LISP Function Tracing Package (Trace), M.I.T., Project MAC, Cambridge, Mass., 1975

\bibitem[59b]{59b} ?: Conference on Symbol Manipulation Systems (Plan), Massachusetts Inst. of Technology, Cambridge, April 1959

\bibitem[59a]{59a} ?: Minutes of Programming Systems Advisory Meeting, Massachusetts Inst. of Technology, Cambridge, March 1959

\bibitem[ACM84]{ACM84} ?: Conf. Record of the 1984 ACM Symposium on LISP and Functional Programming, ACM Order No. 552840, ACM, New York, 1984

\bibitem[LISP88]{LISP88} ?: LISP Resource Guide. BYTE February 1988 Vol. 13, No. 2, p.236

\bibitem[LMI84]{LMI84} ?: The LMI Lambda Field Service Manual. LMI, Cambridge, 1984

\bibitem[Ab77]{Ab77} Abelson, H.: Towards a Theory of Local and Global in Computation. M.I.T., A.I. Lab., A.I.MEMO 442, Cambridge, 1977

\bibitem[AA74]{AA74} Abelson, H.; Adams, J.: A Glossary of Logo Primitives. M.I.T., A.I. Lab., Logo Memo 14, A.I.MEMO 315, Cambridge, 1974

\bibitem[ABGP76]{ABGP76} Abelson, H.; Bamberger, J.; Goldstein, I.; Papert, S.: Logo Progress Report 1973-1975. M.I.T., A.I. Lab., Logo Memo 22, A.I.MEMO 356, Cambridge, 1976

\bibitem[AFS82]{AFS82} Abelson, H.; Fano, R.; Sussman, G.J.: Course Notes CS6.001 Structure and Interpretation of Computer Programs. M.I.T., Dept. of EE and CS, Cambridge, 1982

\bibitem[AFS81]{AFS81} Abelson, H.; Fano, R.; Sussman, G.J.: Course Notes CS6.001 Structure and Interpretation of Computer Programs. M.I.T., Dept. of EE and CS, Cambridge, 1981

\bibitem[AF80]{AF80} Abelson, H.; Fano, R.M.: Course Notes for CS6.031 Structure and Interpretation of Computer Programs. M.I.T., Dept. of EE and Computer Science, Cambridge, 1980

\bibitem[AF79]{AF79} Abelson, H.; Fano, R.M.: Course Notes for CS 6.031: Structure and Interpretation of Computer Programs, M.I.T., Dept. of EE and CS, Cambridge, 1979

\bibitem[AGR74]{AGR74} Abelson, H.; Goodman, N.; Rudolph, L.: Logo Manual. M.I.T., A.I. Lab., Logo Memo 7, A.I.MEMO 313, Cambridge, 1974

\bibitem[AS88]{AS88} Abelson, H.; Sussman, G.J.: LISP - A Language for Stratified Design. BYTE Vol. 13 (1988), No. 2, pp. 207-218

\bibitem[AS85]{AS85} Abelson, H.; Sussman, G.J.: Structure and Interpretation of Computer Programs, M.I.T. Press, Cambridge, Mass., 1985

\bibitem[AS83a]{AS83a} Abelson, H.; Sussman, G.J.: Course Notes CS6.001 Structure and Interpretation of Computer Programs, M.I.T., Dept. EE and CS, Cambridge, 1983

\bibitem[AS83b]{AS83b} Abelson, H.; Sussman, G.J.: Structure and Interpretation of Computer Programs, (Draft), M.I.T., Artificial Intellig. Lab., AI-TR-735, Cambridge, Mass., 31 July 1983

\bibitem[Ab61a]{Ab61a} Abrahams, P.: The Proofchecker. M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 22, Cambridge, 1961

\bibitem[Ab61a]{Ab61a} Abrahams, P.: Character-Handling Facilities in the LISP System. M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 21, Cambridge, 1961

\bibitem[ABB66]{ABB66} Abrahams, P.W.; Barnett, J.A.; Book, E.; Firth, D.; Hawkinson, L.; Kameny, S.L.; Levin, M.I.; Saunders, R.A.; Weissman, C.: The LISP 2 Programming Language and System, Proc. FJCC, 1966

\bibitem[Abr67a]{Abr67a} Abrahams, Paul Conventions for writing LISP 2 syntax Equations. SBC Memorandum 1967

\bibitem[Abr67]{Abr67} Abrahams, Paul W. LISP 2 Debugging. Tech Memo, 1967

\bibitem[AbFi67]{AbFi67} Abrahams, Paul; Firth, Donna LISP 2 Language Specifications. Tech Memo, 1967

\bibitem[AbR66]{AbR66} Abrams, P.S.; Rode, D.J.: A Proposal for a Proof-Checker for Certain Axiomatic Systems, Stanford Art. Intell. Project, Memo No. 41, Stanford, May 20, 1966

\bibitem[Com58]{Com58} Ad Hoc Committee on Languages of the Association for Computing Machinery: Proposal for a Programming Language (IAL 1958), Manuscript, ACM, May 1958

\bibitem[AdR82]{AdR82} Adams, N.I.; Rees, J.A.: The T Manual - T, a Dialect of LISP, Version 2, Yale Univ., Dep. of Computer Science, New Haven, Connecticut, April 24, 1983

\bibitem[AAAP76]{AAAP76} Aiello, L., Aiello, M., Attardi, G., Prini G.: Recursive Data Types in LISP: A Case Study in Type Driven Programming, 2eme Colloque Intern. sur la Programmation, Institut de Progr., Paris, 1976

\bibitem[AiW74]{AiW74} Aiello, L.; Weyhrauch, R.W.: LCFsmall: An Implementation of LCF, Stanf. Univ., Comp. Sc. Dep., STAN-CS-74-446, AIM-241, Stanford, Aug. 1974

\bibitem[All84]{All84} Allen, J.: TLC - LISP Documentation, The LISP Company, Redwood Estates, CA, 1984

\bibitem[AlL69]{AlL69} Allen, J.; Luckham, D.: An Interactive Theorem-Proving Program, Stanford Univ., Art. Intel. Project, Memo AIM-103, Stanford, Oct. 1969

\bibitem[All80b]{All80b} Allen, J.R. (Ed.): Conference Record of the 1980 LISP Conference, The LISP Company, 1980

\bibitem[All80a]{All80a} Allen, J.R.: The TLC-LISP Documentation, The LISP Company, 1980

\bibitem[All79b]{All79b} Allen, J.R.: An Overview of LISP, Byte, Vol. 4, No. 8, Aug. 1979, pp. ...-122

\bibitem[All79a]{All79a} Allen, J.R.: General Topics and Education: 'Anatomy of LISP', Computing Reviews, Reviews and Abstracts, December 1979, pp. 505-506

\bibitem[All78b]{All78b} Allen, J.R.: Proposal for the LISP Conference 1980, Los Gatos, Dec.3, 1978

\bibitem[All78a]{All78a} Allen, J.R.: Anatomy of LISP, McGraw Hill, New York etc., 1978

\bibitem[AGS75]{AGS75} Amsler, R.A.; Greenawalt, E.M.; Slocum, J.; Tyson, M.: LISP Reference Manual CDC - 6000, Univ. of Texas at Austin, Computation Center, CCUM 2, Austin, Dec. 1975

\bibitem[And76]{And76} Anderson, B.: A Brief Critique of LISP, AISB 1976

\bibitem[And67]{And67} Anderson, G.B.: A Generalized Macro Compiler for an Easily Modifiable Extension of LISP 1.5, Univ. of Calif., Lawrence Radiation Lab., Rep. UCRL-70543, Livermore, 10 July 1967

\bibitem[AnR85]{AnR85} Anderson, J.R.; Reiser, B.J.: The LISP Tutor, BYTE, April 1985, pp. 159-175

\bibitem[AKG86]{AKG86} Anderson, J.W.; Kessler, R.R; Galway, W.F.: The Implementation and Optimization of Portable Standard LISP for the Cray. Proc. ECAI 1986; Dept. of Computer Science, Uniersity of Utah, OPN-85-06

\bibitem[AnCoRe87]{AnCoRe87} Anderson, John R.; Corbett, Albert T.; Reiser, Brian J. Essential LISP. Addison-Wesley Reading, Mass. u.a. 1987

\bibitem[Ano61]{Ano61} Anonymous; LISP Error Stops as of May 10, 1961, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 25, Cambridge, 1961

\bibitem[Ano84]{Ano84} Anonymus: Kuenstliche Intelligenz auf 32 Bit, Computerwoche 14. Sept. 1984

\bibitem[Ano76]{Ano76} Anonymus: InterLISP Performance Measurements, Interim Report, Bolt Beranek and Newman, BBN Report No. 3331, Cambridge, Mass., June 1976

\bibitem[Ano72]{Ano72} Anonymus: LISP/360 Reference Manual, Stanford Univ., Stanford Center for Information Processing, Stanford, 1972

\bibitem[Ano64]{Ano64} Anonymus: Editor Program in LISP, Massachusetts Inst. of Technology, Cambridge, Dec. 14, 1964

\bibitem[Ano63b]{Ano63b} Anonymus: First International LISP Conference Dec. 30, 1963 - January 4, 1964, Preliminary List of Participants and Papers, Centro de Calculo Electronico Ciudad Universitaria, Mexico

\bibitem[Ano63a]{Ano63a} Anonymus: LISP 2 Specifications Conference, Stanford University, Stanford, 1963

\bibitem[Ano62c]{Ano62c} Anonymus: LAP (LISP Assembly Program), M.I.T., Artificial Intelligence Project, A.I.MEMO 35, Cambridge, 1962

\bibitem[Ano62b]{Ano62b} Anonymus: Pseudo-Arrays in LISP, M.I.T. ?, Computer Science 238a, Cambridge, Nov. 14, 1962

\bibitem[Ano62a]{Ano62a} Anonymus: Exercise to Define a Function, M.I.T. ?, Computer Science 238, Exercise No. 2, Cambridge, ca. 1962

\bibitem[Ans67a]{Ans67a} Anschultz, D. LISP 2 Compiler Register Counter and Code Generator Specifications. Tech Memo 1967

\bibitem[Ans67]{Ans67} Anschultz, D. LISP 2 Compiler Machine Link Specifications. Tech Memo 1967

\bibitem[App75 ?]{App75 ?} Appel, K.: ? InterLISP /360 and /370 , User Reference Manual, Uppsala Univ., Sweden, Data Center, 1975-02-01, Uppsala, 1975

\bibitem[AIG72]{AIG72} Art. Int. Group: Automatic Programming Division, MAC - Progress Report VII, 1971 - 1972

\bibitem[AIG71]{AIG71} Art. Int. Group: Project MAC Personnel July 1970 to July 1971, M.I.T., MAC-Progress Report VI, Cambridge, 1971

\bibitem[AIG67]{AIG67} Art. Intell. Group: Personnel from July 1, 1966 to July 1, 1967, M.I.T., Project MAC, Progress Report IV, 1966-67, Cambridge, Mass., 1967

\bibitem[AIG65]{AIG65} Art. Intell. Group: Personnel to July 1, 1965 - Project MAC: Machine-Aided Cognition and Multiple-Access Computer Systems, M.I.T., MAC - Progress Report No. II, 1964-1965, Cambridge, 1965

\bibitem[AsI69]{AsI69} Asai, K.; Inami, Y.: MAZE - A Program for Recursive Computation and List Processing, Tokai Research Establishment, JAERI-Memo No. 3245, Ibaraki, Japan, 1969

\bibitem[ABGH77]{ABGH77} Ash, W.; Bobrow, R.; Grignetti, M.; Hartley, A.: Intelligent On-Line Assistant and Tutor System, Bolt Beranek and Newman, BBN Report No. 3607, 18 Sep. 1975 to 31 January 1977, Cambridge, 1977

\bibitem[Asi75]{Asi75} Asirelli, P.; et al.: MAGMA LISP, Reference Manual, Istituto di Elabor. d. Inform. del C.N.R., Nota Tecn. C75-13, Pisa, Dic. 1975

\bibitem[AIG66]{AIG66} At. Int. Group: Personnel to July 1, 1966, M.I.T., A.I. Lab., Proj. MAC, Progr. Rep. III, 1965-1966, Cambridge, 1966

\bibitem[AtH77]{AtH77} Atkinson, R.; Hewitt, C.: Specification and Proof Techniques for Serializers, M.I.T., A.I. Lab., A.I.MEMO 438, Cambridge, 1977

\bibitem[AtS82]{AtS82} Attardi, G.;Sini, M.: Semantics of Inheritance and Attributions in the Description System Omega, M.I.T., A.I. Lab., A.I.MEMO 642, Cambridge, 1982

\bibitem[Au77]{Au77} Aubin, R. Strategies for Mechanizing Structural Induction. IJCAI-5, Cambridge, Mass., Aug. 1977, Proc. pp. 363-369

\bibitem[ABD69]{ABD69} Ausiello, G.; Boehm, C.; Deutsch, P.; Miola, A.; Lopez, H.M.: Manuale per il Sistema ROMALISP, Istituto per le Applicazioni del Calcolo (IAC), Serie III, No. 19, Roma, 1969

\bibitem[Aus75]{Aus75} Austin, H.: Teaching Teachers Logo, the Lesley Experiments, M.I.T., A.I. Lab., Logo Memo 23, A.I.MEMO 336, Cambridge, 1975

\bibitem[BaH77d]{BaH77d} Baker, H.B.jr.; Hewitt, C.: The Incremental Garbage Collection of Processes, 5. IJCAI, 1977

\bibitem[Bak78]{Bak78} Baker, H.G.: Shallow Binding in LISP 1.5, Communications of the ACM, Vol. 21, No.7, July 1978

\bibitem[Bak77b]{Bak77b} Baker, H.G.jr.: A Note on the Optimal Allocation of Spaces in MACLISP, M.I.T., A.I. Lab., Working Paper 142, Cambridge, 1977

\bibitem[Bak77a]{Bak77a} Baker, H.G.jr.: Shallow Binding in LISP 1.5, M.I.T., A.I. Lab., Working Paper 138, Cambridge, 1977

\bibitem[BaH77a]{BaH77a} Baker, H.G.jr.; Hewitt, C.: The Incremental Garbage Collection of Processes, M.I.T., A.I. Lab., Working Paper 149, Cambridge, 1977

\bibitem[BaH77c]{BaH77c} Baker, H.G.jr; Hewitt, C.: Actors and Continuous Functionals, M.I.T., A.I. Lab., A.I.MEMO 436, Cambridge, 1977

\bibitem[BaH77b]{BaH77b} Baker, H.G.jr; Hewitt, C.: The Incremental Garbage Collection of Processes, M.I.T., A.I. Lab., A.I.MEMO 454, Cambridge, 1977

\bibitem[Bar82]{Bar82} Barber, G.: Supporting Organizational Problemsolving with a Workstation, M.I.T., A.I. Lab., A.I.MEMO 681, Cambridge, 1982

\bibitem[BdJH83]{BdJH83} Barber, G.; de Jong,P.; Hewitt, C.: Semantic Support for Work in Organizations, M.I.T., A.I. Lab., A.I.MEMO 719, Cambridge, 1983

\bibitem[Bar66]{Bar66} Barnett, J.A. SIM, An S-Expression Pattern-Matching Function. Tech Memo 1966

\bibitem[Bar67a]{Bar67a} Barnett, Jeff LISP 2 Compiler Specifications. Tech Memo 1967

\bibitem[Bar67]{Bar67} Barnett, Jeff LISP 2 Compiler Context Resolver Language and Processor Specifications. Tech Memo 1967

\bibitem[BaCB84]{BaCB84} Barrow, H. G.; Christaller, T.; Beckstein, C. HBASE - Dtenbanksystem fuer INTERLISP-Anwender. Univ. Erlangen - Nuernberg, Reg. Rechenzentrum RRZE, Int. Arbeitsbericht 207, Erlangen, Sep. 1984

\bibitem[BaS84]{BaS84} Bauer, D.; Schneider, M.: STRUPPI, ein graphischer Pretty-Printer fuer LISP-Strukturen, Univ. Stuttgart, Inst. f. Informatik, Inform.-Forschungsgruppe, Juli 1984, Beitrag zu GWAI-84 (German Workshop on AI), Wingst, 8.-12. Okt. 1984

\bibitem[Bau75]{Bau75} Bauer, M.A.: A Basis for the Acquisition of Procedures from Protocols. 4th IJCAI 1975 Tbilissi, p.226-231

\bibitem[Bau79]{Bau79} Bauer, W.: Implementierung und Beschreibung eines LISP-Compilers (Mac COM), Univ. Stuttgat, (Diplomarbeit \#107), Stuttgart, 1979

\bibitem[Bau72]{Bau72} Baumgart, B.G.: Micro Planner Alternate Reference Manual, Stanford Univ., A.I. Lab., Operating Note No. 67, Stanford, April 1972

\bibitem[Baw83:]{Baw83:} Bawden, A.: CL1 Manual, M.I.T., A.I. Lab., Working Paper 254, Cambridge, 1983

\bibitem[BBH81]{BBH81} Bawden, A.; Burke, G.S.; Hoffman, C.W.: MACLISP Extensions, M.I.T., Lab. for Computer Science, Cambridge, Mass., July 1981

\bibitem[Bob72]{Bob72} Bbrow, D.G.: Requirements for Advanced Programming Systems for List Processing, Communications of the ACM, Vol. 15, No. 7, July 1972

\bibitem[Bee67]{Bee67} Beeler, M.: IO Test, M.I.T., Artificial Intelligence Project, A.I.MEMO 144, Cambridge, 1967

\bibitem[BGS72]{BGS72} Beeler, M.; Gosper, R.W.; Schroeppel, R.: HAKMEM, M.I.T., A.I. Lab., A.I.MEMO 239, Cambridge, 1972

\bibitem[BeG81]{BeG81} Benson, E.; Griss, M.L.: SYSLISP: A Portable LISP-Based Systems Implementation Language, Univ. of Utah, Dep. of Computer Science, UCP-81, Salt Lake City, Feb. 198

\bibitem[Ber85]{Ber85} Berk, A. A. LISP. The Language of Artificial Intelligence. Van Nostrand com. New York 1985

\bibitem[BeB64]{BeB64} Berkeley, E.C., Bobrow, D.G.: The Programming Language LISP: Its Operation and Applications, MIT Press, Cambridge, 1964

\bibitem[Bek67]{Bek67} Berkeley, E.C.: Persons Interested in LISP, Information International, Inc., Report No. 8-24/67, Cambridge, 1 Aug. 1967

\bibitem[Ber67]{Ber67} Berns, R.I.: A Paged LISP Using the Dynamic Relocation Hardware of an IBM 360/67, Stanford University, Computation Center, Stanford, 1967

\bibitem[Ber82]{Ber82} Bernstein, J.: A.I. Profiles: Marvin Minsky, The New Yorker, 1982, pp. 50-126

\bibitem[Ber70]{Ber70} Berry, D.M.: LISP for ALGOL Afficionados and ALGOL for LISP Afficionados, Brown Univ., Division of Appl. Math., Providence, Rhode Island, Sep. 1970

\bibitem[BeWi88]{BeWi88} Betz, David; Williams, Gregg Introduction LISP. BYTE February 1988 Vol. 13, No. 2, p.206

\bibitem[Bi78]{Bi78} Biermann, A.W. The inference of regular LISP. Programs from examples. Transactions on Systems,Man, and Cybernetics, Vol. SMC-8,No. 8,Aug. 1978

\bibitem[BiS77]{BiS77} Biermann, A.W.; Smith D.R.: The Hierarchical Synthesis of LISP Scanning Programs B.Gilchrist (Ed.): IFIP 1977, North Holland, Amsterdam, 1977, S.41-45

\bibitem[Bin70]{Bin70} Binford, T.O.: Display Functions in LISP, M.I.T., Art. Intelligence Lab., A.I.MEMO 182, Cambridge, 1970

\bibitem[Bis75]{Bis75} Bishop, P.B.: Garbage Collection in a Very Large Address Space, M.I.T., A.I. Lab., Working Paper 111, Cambridge, 1975

\bibitem[Bla70]{Bla70} Blair, F.: The Structure of the LISP Compiler, IBM, Yorktown Heights, ca. 1970

\bibitem[Bla79b]{Bla79b} Blair, F.W.: The Definition of LISP1.8+0.3i IBM Th.Watson Res. Center, Yorktown Heights, 9/18/79

\bibitem[Bla79a]{Bla79a} Blair, F.W.: LISP/370 Concepts and Facilities, IBM Computer Science, RC 7771, (\#33639) 7/18/79

\bibitem[BGH71]{BGH71} Blair, F.W.; Griesmer, J.H.; Harry, J.; Pivovonsky, M.: Design and Development Document for LISP on Several S/360 Operating Systems, Yorktown Heights, N.Y., June 24, 1971

\bibitem[Bla67]{Bla67} Blair, F.W.; et al.: Design and Development Document for LISP on Several S/360 Operating Systems, IBM Confidential, Research Center, Yorktown Heights, N.Y., 1967

\bibitem[BBH71]{BBH71} Bledsoe, W.W.; Boyer, R.S.; Henneman, W.H.: Computer Proofs of Limit Theorems, M.I.T., A.I. Lab., A.I.MEMO 217, Cambridge, 1971

\bibitem[Blo63]{Blo63} Bloom, G.: M-Expression Translator, (handwritten) M.I.T., A.I. Project, Cambridge, Mass., 1963

\bibitem[BoR76]{BoR76} Bobrow, D. G.; Raphael, B. New Programming Languages for AI Research Palo Alto, 1976

\bibitem[Bob75]{Bob75} Bobrow, D.G.: A Note on Hash Linking, Communications of th ACM, Vol. 18, No. 7, July, 1975

\bibitem[Bob70]{Bob70} Bobrow, D.G.: The Programming Language LISP - Why, What and When, (Draft), Bolt Beranek and Newman Inc., Cambridge, Mass., ca. 1970

\bibitem[Bob69]{Bob69} Bobrow, D.G.: LISP Bulletin No. 1, SIGPLAN - Notices, 1969

\bibitem[Bob65]{Bob65} Bobrow, D.G.: The COMIT Feature in LISP II, M.I.T., Proj. MAC, MAC-M-219, A.I. Project, A.I.MEMO 76, Cambridge, 1965

\bibitem[Bob64b]{Bob64b} Bobrow, D.G.: String Manipulation in the New Language, M.I.T., Proj. MAC, MAC-M-176, A.I. Project, A.I.MEMO 71, Cambridge, 1964

\bibitem[Bob64a]{Bob64a} Bobrow, D.G.: Natural Language Input for a Computer Problem Solving System, M.I.T., Proj. MAC, MAC-M-148, A.I. Project, A.I.MEMO 66, Cambridge, 1964

\bibitem[Bob63b]{Bob63b} Bobrow, D.G.: METEOR, A LISP Interpreter for String Transformations, M.I.T., A.I. Project, A.I.MEMO 51, Cambridge, 24 April 1963

\bibitem[Bob63a]{Bob63a} Bobrow, D.G.: Computer Formulation and Solution of Algebra Problems Given in a Restricted English, M.I.T., Res. Lab. of Electr., Quarterly Progr. Rep. 69, Cambridge, April 1963

\bibitem[Bob67]{Bob67} Bobrow, D.G.: ? How Eliza Passed the Turing Test (LISP-Version based on 'Eliza - A Computer Program for the Study of Natural Language Commnication Between Man and Machine'), ?

\bibitem[BoC79]{BoC79} Bobrow, D.G.; Clark, D.W.: Compact Encodings of List Structure, ACM Transactions on Programming Languages and Systems, Vol. 1, No. 2, Oct. 1979, pp. 266-286

\bibitem[BDD67]{BDD67} Bobrow, D.G.; Darley, D.L.; Deutsch, L.P.; Murphy, D.L.; Teitelman, W.: The BBN 940 LISP System, Bolt Beranek and Newman Inc., Proj. 8668, Sc. Rep. 9, Cambridge, 15 July 1967

\bibitem[BoD79]{BoD79} Bobrow, D.G.; Deutsch, P.: Extending InterLISP for Modularization and Efficiency (Extended Abstract), Ng., Symbolic and Algebraic Computation, Springer, LNCS 72, 1979

\bibitem[BoM66]{BoM66} Bobrow, D.G.; Murphy, D.L.: The Structure of a LISP System Using Two-Level Storage, Bolt Beranek and Newman Inc., Proj. 8668, Sc. Rep. 6, Cambridge, 4 Nov.1966

\bibitem[BoR73]{BoR73} Bobrow, D.G.; Raphael, B.: New Programming Languages for AI Research, Stanf. Res. Inst. (SRI), AI Center, Techn. Note 82, Stanford, Aug. 1973

\bibitem[BoT67]{BoT67} Bobrow, D.G.; Teitelman, W.: Debugging in an On-Line Interactive LISP, Bolt Beranek and Newman Inc., Cambridge, Mass., Nov. 1967

\bibitem[BoW73]{BoW73} Bobrow, D.G.; Wegbreit, B.: A Model for Control Structures for A.I. Programming Languages, 3. IJCAI, 1973

\bibitem[BBJ73]{BBJ73} Bobrow, R.J.; Burton, R.R.; Jacobs, J.M.; Lewis, D.: UCI LISP Manual, Univ. of Calif., Dep. of Inform. and Comp. Sc., Tech. Rep. 11, Irvine, 1973

\bibitem[Bog83]{Bog83} Bogen, R.: MACSYMA Reference Manual, Version 10, M.I.T., Lab. for Comp. Sc., 2nd Printing, Vol. I, Cambridge, Dec. 1983

\bibitem[BoC68]{BoC68} Bolce, J.F.; Cooper, R.H.: LISP 1.5 Interpreter for the IBM System /360, University of Waterloo, Computing Centre, March 1968 (2. Ed.)

\bibitem[Bol81]{Bol81} Boley, H.: Artificial Intelligence - Languages and Machines, Univ. Hamburg, FB Informatik, Hamburg, ca. 1981

\bibitem[Bon82]{Bon82} Bonsiepen, M.: Ein Algorithmus zur Automatischen Programmierung in LISP, Univ. Bremen, Forschgs.gruppe Theoret. Inform., Bericht 3/82, Bremen, 1982

\bibitem[Boo66]{Boo66} Book, Erwin The LISP 2 Syntax Translator. Tech Memo 1966

\bibitem[BoD84]{BoD84} Bortz, J.; Diamant, J.: LISP for the IBM Personal Computer, BYTE Journal, July 1984, pp. 281-291

\bibitem[BoM75]{BoM75} Boyer, R.S.; Moore, J.S.: Proving Theorems About LISP Functions, Journal of the ACM, Vol. 22, No. 1, Jan. 1975, pp. 129-144

\bibitem[BoM73]{BoM73} Boyer, R.S.; Moore, J.S.: Proving Theorems About LISP Functions, 3. IJCAI, 1973

\bibitem[Bra61]{Bra61} Brayton, R.: Trace-Printing for Compiled Programs, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 23, Cambridge, 1961

\bibitem[Bra59b]{Bra59b} Brayton, R.K.: The Compiler in LISP, Massachusetts Inst. of Technology, Cambridge, 1959

\bibitem[Bra59a]{Bra59a} Brayton, R.K.: Compiler, Massachusetts Inst. of Technology, Cambridge, 1959

\bibitem[BrSY75]{BrSY75} Briabrin, V. M.; Serebriakov, V. A.; Yufa, V. M. LORD: LISP-Oriented Resolver and Data-Base. IJCAI-4, Section 8: A.I. Software, Tbilisi, USSR, 3-8 Sep. 1975

\bibitem[Bro65]{Bro65} Brody, T.A.: LISPITO, a LISP Processor for the IBM 1620, Centro Nacional de Calculo, Instituto Politecnico Nacional, Mexico, 1965

\bibitem[BrLa87]{BrLa87} Bromley, Hank; Lamson, Richard LISP LORE: a guide to programming the LISP machine. Boston, Dordrecht, Lancaster 2. Aufl. 1987

\bibitem[Bro84b]{Bro84b} Brooks, R.A.: Programming in Common LISP, (Draft), Stanford Univ., Stanford, July 24, 1984

\bibitem[Bro84a]{Bro84a} Brooks, R.A.: Common LISP Text Book, (Draft), Stanford Univ., Stanford, July 1, 1984

\bibitem[BGS82]{BGS82} Brooks, R.A.; Gabriel, R.P.; Steele, G.L.jr.: An Optimizing Compiler for Lexically Scoped LISP, 1982 LISP Conference

\bibitem[Bro87]{Bro87} Brooks, Rodney A. LISP. Programmieren in Common LISP. M\"unchen, Wien 1987

\bibitem[Bro85]{Bro85} Brooks, Rodney A. Programming in Common LISP. New York u.a. 1985

\bibitem[BroGa84]{BroGa84} Brooks, Rodney A.; Gabriel, Richard P. A Critique of Common LISP. ACM 1984

\bibitem[Bro74]{Bro74} Brown, A.L.: Qualitative Knowledge, Causal Reasoning, and the Localization of Failures, M.I.T., A.I. Lab., Working Paper 61, Cambridge, 1974

\bibitem[BrS74]{BrS74} Brown, A.L.; Sussman, G.J.: Localization of Failures in Radio Circuits, a Study in Causal and Teleological Reasoning, M.I.T., A.I. Lab., A.I.MEMO 319, Cambridge, 1974

\bibitem[Bro81]{Bro81} Brown, R.: Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs, M.I.T., Artificial Intelligence Lab., AI-TR-610, Cambridge, Mass., Jan. 1981

\bibitem[BuS68]{BuS68} Buchanan, B.; Sutherland, G.: Heuristic Dendral: A Program for Generating Explanatory Hypotheses in Organic Chemistry, Stanford Univ., Computer Science Dep., Memo AI-62, Stanford, JuLy 26, 1968

\bibitem[Buc83]{Buc83} Buchanan, B.G.: Introduction to the Memo Series of the Stanford Art. Intelligence Lab., Stanford University, Reprinted by Comtex Scientific Corp., Stanford, 1983

\bibitem[BuL73]{BuL73} Buchanan, B.G.; Lederberg, J.: The Heuristic Dendral Program for Explaining Empirical Data, 3. IJCAI, 1973

\bibitem[BuL74]{BuL74} Buchanan, J.R.; Luckham, D.C.: On Automating the Construction of Programs, Stanf. Univ., Comp. Sc. Dep., STAN-CS-74-433, AIM-236, Stanford, May 1974

\bibitem[Bu75]{Bu75} Bundy, A. Analysing Mathematical Proofs IJCAI-4, Tbilisi, USSR, 3-8- Sep. 1975, Proc. pp. 22-28

\bibitem[BuLMJ83]{BuLMJ83} Bundy, A.; Lumley, J.; Merry, M.; Jones, K.S.: A Catalogue of Artificial Intelligence Tools (Spring 1983). SERC and Dept. of AI, University of Edinburgh, Edinburgh, 1983

\bibitem[Bur83]{Bur83} Burke, G.: Introduction to NIL, M.I.T., Lab. for Computer Science, Cambridge, Mass., March 1983

\bibitem[BCE84]{BCE84} Burke, G.S.; Carrette, G.J.; Eliot, C.R.: NIL Reference Manual, M.I.T., Lab. for Computer Science, MIT/LCS/TR-311, Camridge, Jan. 1984

\bibitem[BCE83]{BCE83} Burke, G.S.; Carrette, G.J.; Eliot, C.R.: NIL Notes for Release 0.259, M.I.T., Cambridge, Mass., June 1983

\bibitem[BKM80]{BKM80} Burton, R.R.; Kaplan, R.M.; Masinter, L.M.; Sheil, B.A.; Bell, A.; Bobrow, D.G.; Deutsch, L.P.; Haugeland, W.S.: Papers on InterLISP-D, Xerox PARC, CIS-5 (SSL-80-4), Palo Alto, Calif., Sep. 1980

\bibitem[Cad72]{Cad72} Cadiou, J.M.: Recursive Definitions of Partial Functions and Their Computations, Stanf. Univ., Comp. Sc. Dep., STAN-CS-72-266, AIM-163, Stanford, March 1972

\bibitem[Cam74]{Cam74} Campbell, J. A. An experiment in automatic programming. Modern trends in Cybernetics and Systems, Section 6, 1974 pp. 633-640

\bibitem[Cam66]{Cam66} Campbell, J.A.: LISP on the Imperial College 7090 Computer, Programming Guide, Imperial College of Science and Technology, Computer Unit, London, 1966

\bibitem[Car82]{Car82} Carbonell, Jaime G. LISP - SP. A portable INTERLISP subset interpreter for mini-computers. Uni Kaiserslautern SEKI MEMO -83-03

\bibitem[Cat82]{Cat82} Carrette, G.: VAX-NIL Installation Instructions, M.I.T., Cambridge, Mass., Oct. 15, 1982

\bibitem[Cay83]{Cay83} Cayrol, Michel Le Langage LISP. Toulouse 1983

\bibitem[Ced78]{Ced78} Cedval, M.; et al.: Datalogilaboratoriet 1978 - Beskrivning av Forskningen under 1977, Uppsala Univ., Datalogilaboratoriet, Comp. Sc. Dep., DLU 78/A1, Uppsala, 1978

\bibitem[Ced77]{Ced77} Cedvall, M.; et al.: Datalogilaboratoriet 1977, Uppsala Univ., Dep. of Computer Science, Rep. No. DLU 77/A1, Uppsala, 1977

\bibitem[Ch86]{Ch86} Chailloux, J.: Le_LISP version 15.2; Le manuel de reference. Rocquencourt, Mai 1986

\bibitem[Cha85]{Cha85} Chailloux, J.: La Machine LLM3, INRIA Rapports Techniques, No. 55, Rocquencourt, Juillet 1985

\bibitem[Cha83]{Cha83} Chailloux, J.: LISP 80, Version 12, Manuel de Reference, I.N.R.I.A. Inst. National de Recherche en Inform. et en Automatique, Le Chesnay Cedex, France, Rapports Techniques No. 27, Juillet 1983

\bibitem[Cha82]{Cha82} Chailloux, J.: Le - LISP 68K, Le Manuel, (Provisoire), I.N.R.I.A., Domaine de Voluceau Rocquencourt, Le Chesnay, 30 Juillet 1982

\bibitem[Cha80]{Cha80} Chailloux, J.: Le Modele VLISP: Description, Implementation et Evaluation, Univ. Pierre et Marie Curie, LITP No. 80-20, Paris, Avril 1980

\bibitem[Cha77]{Cha77} Chailloux, J.: Notes sur le VLISP 10.2, Univ. de Paris 8, Dep. d'Informatique, RT 17-76, Paris, Mars 1976

\bibitem[Cha76]{Cha76} Chailloux, J.: VLISP-10, Manuel de Reference, Univ. de Paris 8, U.E.R. Informatique-Linguist., RT 17-76, Paris, Mars 1976

\bibitem[CDH84]{CDH84} Chailloux, J.; Devin, M.; Hullot, J.-M.: LE-LISP, A Portable and Efficient LISP System, : I.N.R.I.A. Domaine de Voluceau Rocquencourt, Le Chesnay Cedex, et Centre de Math. Appl. Ecole des Mines de Paris, Valbonne, France, Juillet 1984

\bibitem[Chp77]{Chp77} Champeaux, D. de: LISP Changes to UTLISP, Computer Listing, ca. 1977

\bibitem[Cha81]{Cha81} Chapman,D.: A Program Testing Assistant, M.I.T., A.I. Lab., A.I.MEMO 651, Cambridge, 1981

\bibitem[CPD80]{CPD80} Charniak, E.; Riesbeck, C.R.; McDermott, D.V.: Artificial Intelligence Programming, Lawrence Erlbaum Associates, Hillsdale, 1980

\bibitem[Chr82]{Chr82} Christaller, T.: MACLISP - Kurzmanual, Univ. Bielefeld, CL-Memo 1-79, Bielefeld, Januar 1982

\bibitem[Chr79c]{Chr79c} Christaller, T.: MACLISP - Compiler, Hauptrechenzentrum (HRZ) Bielefeld, File LCOMP ULL010, Bielefeld, 1979

\bibitem[Chr79b]{Chr79b} Christaller, T.: MACLISP - Kurzmanual, Univ. Bielefeld, Fakultaet f. Linguistik \& Literaturwissenschaft, CL-Memo 1-79, Bielefeld, August 1979

\bibitem[Chr79a]{Chr79a} Christaller, T.: MACLISP - Kurzmanual, Univ. Bielefeld, Fakultaet f. Linguistik \& Literaturwissenschaft, Bielefeld, April 1979

\bibitem[ChB84]{ChB84} Christaller, T.; Bernhardt, N.: Die Libelle = LIsp BEnutzergruppe Lieblings LEktuere - No. 1, (Univ. Hamburg), Hamburg), 1984

\bibitem[Cic78]{Cic78} Ciccarelli, E.: An Introduction to the EMACS Editor, M.I.T., A.I. Lab., A.I.MEMO 447, Cambridge, 1978

\bibitem[Cic84]{Cic84} Ciccarelli, E.C.: Presentation Based User Interfaces, M.I.T., Artificial Intelligence Lab., AI-TR-794, Cambridge, Mass., Aug. 1984

\bibitem[Cla83a]{Cla83a} Clancey, W.J.: The Advantages of Abstract Control Knowledge in Expert System Design, Stanford Univ., CS Dep., STAN-CS-83-995, HPP-83-17, Stanford, Nov. 1983

\bibitem[Cla78]{Cla78} Clark, D.W.: Measurements of Dynamic List Structure Use in LISP, (rvsd. April 1978), IEEE Transactions on Software Engineering, 1979

\bibitem[Cli85]{Cli85} Clinger, W. (Ed.): The Revised Revised Report on Scheme - or - An UnCommon LISP, M.I.T., A.I. Lab., A.I.MEMO 848, Cambridge, Aug. 1985

\bibitem[Cli79b]{Cli79b} Clinger, W.: A Fair Power Domain for Actor Computation, M.I.T., A.I. Lab., Working Paper 190, Cambridge, 1979

\bibitem[Cli79a]{Cli79a} Clinger, W.: Global Time in Actor Computations, M.I.T., A.I. Lab., Working Paper 189, Cambridge, 1979

\bibitem[Cli81]{Cli81} Clinger, W.D.: Foundations of Actor Semantics, M.I.T., Artificial Intelligence Lab., AI-TR-633, Cambridge, Mass., May 1981

\bibitem[Cl88]{Cl88} Clinger, William Semantics of Scheme. BYTE February 1988 Vol. 13, No. 2, pp. 221-227

\bibitem[Coh81]{Coh81} Cohen, J.: Garbage Collection of Linked Data Structures, Computing Surveys, Vol. 3, No. 3, Sep. 1981

\bibitem[CM36-86]{CM36-86} CommonLISP-Mail: Week 36-86 Sep. 1986

\bibitem[CCE59]{CCE59} Cooperating Colleges of New England: Progress Report No.5 of the Research \& Educational Activities in Machine Computation by the Cooperating Colleges of New England, M.I.T., Computation Center, Semi-Annual Report No. 5, Cambridge, June 1959

\bibitem[CCE58c]{CCE58c} Cooperating Colleges of New England: Progress Report No.4 of the Research \& Educational Activities in Machine Computation by the Cooperating Colleges of New England, M.I.T., Computation Center, Semi-Annual Report No. 4, Cambridge, Dec. 1958

\bibitem[CCE58b]{CCE58b} Cooperating Colleges of New England: Progress Report No.3 of the Research \& Educational Activities in Machine Computation by the Cooperating Colleges of New England, M.I.T., Computation Center, Semi-Annual Report No. 3, Cambridge, June 1958

\bibitem[CCE57]{CCE57} Cooperating Colleges of New England: Progress Report No.1 of the Research \& Educational Activities in Machine Computation by the Cooperating Colleges of New England. M.I.T., Comput. Center, Semi-Annual Progr. Rep. No. 1, Cambridge, June 1957

\bibitem[CCE58a]{CCE58a} Cooperating Colleges of Nw England: Progress Report No.2 of the Research \& Educational Activities in Machine Computation by the Cooperating Colleges of New England, M.I.T., Computation Center, Semi-Annual Report No. 2, Cambridge, January 1958

\bibitem[CoS85]{CoS85} Corley, C.J.; Statz, J.A.: LISP Workstation Brings AI Power to a User's Desk, Computer Design, Jan. 1985, pp. 155-162

\bibitem[Cor79]{Cor79} Correira, A.: CYBER-LISP Extensions to UTLISP for Interactive Users, VIM-30, May 1979

\bibitem[Cra67]{Cra67} Crandell, D. LISP 2 Assembly Program (LAP) Specification. Tech Memo 1967

\bibitem[CBLL82]{CBLL82} Curry, G.; Baer, L.; Lipkie, D.; Lee, B.: Traits: An Approach to Multiple-Inheritance Subclassing, ACM, Proc. of the SIGOA Conf. on Office Automation Systems, June 21-23/ Xerox PARC, Office Systems Division, OSD-T8202, Palo Alto, Sep. 1982

\bibitem[Da86b]{Da86b} Dalton, J.: Instant Report on the Boston Common LISP Meeting University of Edinburgh, AI Applications Institute, Programming Systems Group note 55, Edinburgh, Jan. 1986

\bibitem[Da86a]{Da86a} Dalton, J.: Instant comments on PopLog Common LISP University of Edinburgh, AI Applications Institute, Programming Systems Group note 54, Edinburgh, Jan. 1986

\bibitem[Dan83]{Dan83} Danicic, I. LISP Programming. Oxford, London u.a. 1983

\bibitem[Dan84]{Dan84} Danicic, I.: LISP Programming, Blackwell Scientific Publications, Boston, 1984

\bibitem[DaB76]{DaB76} Darlington, J.; Burstall, R.M.: A System which Automatically Improves Programs, Acta Informatica, Vol. 6, 1976, pp. 41-60

\bibitem[Dar73]{Dar73} Darlington, J.L.: Automatic Program Synthesis in Second-Ordr Logic, 3. IJCAI, 1973

\bibitem[Dat81]{Dat81} Datasoft Inc.: App-L-ISP for the Apple II Computer, Vers. 1.7, Special Software Systems, Datasoft Inc., Northridge, CA, 1981

\bibitem[DaJ80]{DaJ80} Davenport, J.H.; Jenks, R.D.: MODLISP, IBM Watson Res. Center, Res. Rep. RC 8537 (\#37198) 10/29/80, New York, 1980

\bibitem[Dav82]{Dav82} Davis, R.: Report on the Second Workshop on Distributed AI, M.I.T., A.I. Lab., Working Paper 228, Cambridge, 1981

\bibitem[Dav80b]{Dav80b} Davis, R.: Report on the Workshop on Distributed AI, M.I.T., A.I. Lab., Working Paper 204, Cambridge, 1980

\bibitem[DaK75]{DaK75} Davis, R.; King, J.: An Overview of Production Systems, Stanf. Univ., Comp. Sc. Dep., STAN-CS-75-524, AIM-271, Stanford, Oct. 1975

\bibitem[Den64]{Den64} Dennis, J.B.: A Multiuser Computation Facility for Education and Research, Communications of the ACM, Vol. 7, No. 9, Sept. 1964

\bibitem[Der77d]{Der77d} Deransart, P.: Proof by Semantic Attributes of a LISP Compiler, Submitted to: Second Hungaria Comp. Science Conference - Budapest, June 27 - July 2, 1977

\bibitem[Der77c]{Der77c} Deransart, P.: Definition and Implementation of a LISP System (Using Semantic Atributes), Iria, BP 105, Le Chesnay, France, May 1977

\bibitem[Der77b]{Der77b} Deransart, P.: Definition et Implantation de LISP a l'Aide d'un Compilateur, Inst. d'Informatique et d'Automatique, Rapport de Recherche No. 224, Le Chesnay, France, Mars 1977

\bibitem[Der77a]{Der77a} Deransart, P: Description par Attributs Semantiques de LISP Pur et Preuve de'l Equivalence de la Definition Traductive et de l'Evaluateur, INRIA Rapport de Recherche No.220, Rocqencourt, Mars 1977

\bibitem[DeS77]{DeS77} Derret, N., Solomon, M.: LISBEA LISP Dialect for Teaching, Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, DAIMI MD-25, Aarhus, February 1977

\bibitem[Deu78]{Deu78} Deutsch, P.: Inside InterLISP: Two Implementations, Xerox PARC, Palo Alto, California, Nov. 26, 1978

\bibitem[Deu67]{Deu67} Deutsch, P.: Preliminary Guide to the LISP Editor, Univ. of Calif., Office of Secr. of Def., Doc. W-21, Berkeley, 18 Apr. 1967

\bibitem[Deu63]{Deu63} Deutsch, P.: PDP-1 LISP, M.I.T., A.I. Project, Cambridge, 1963

\bibitem[Deu73]{Deu73} Deutsch, P.L.: A LISP Machine with Very Compact Programs, 3. IJCAI 1973

\bibitem[Dev85b]{Dev85b} Devin, M.: La Microprogrammation du Systeme LeLISP - Une Premiere Approche, INRIA Rapports de Recherche, No.441, Rocquencourt, Sep. 1985

\bibitem[Dev85a]{Dev85a} Devin, M.: Le Portage du Systeme LeLISP, Mode d' Emploi, INRIA Rapports Techniques, No. 50, Rocquencourt, March 1985

\bibitem[DLS78]{DLS78} Dijkstra, E.W.; Lamport, L.; Martin, A.J.; Scholten, C.S.; Steffens, E.F.M.: On-the-Fly Garbage Collection: An Exercise in Cooperation, Comm. of the ACM, Vol. 21, No. 11, Nov. 1978

\bibitem[DoB80]{DoB80} Dornbrook, M.; Blank, M.: The MDL Programming Language Primer, M.I.T., Computer Science Lab., MIT/LCS, Cambridge, Mass., 1980 o. folg.

\bibitem[DuW80]{DuW80} DuWayne Duffey II, R.: Formalizing the Expertise of the Assembly Language Programmer, M.I.T., A.I. Lab., Working Paper 203, Cambridge, 1980

\bibitem[Dur78]{Dur78} Durieux, J.L.; et al.: Seminaire: Implementation et Interpretation de LISP, Toulouse Mars 1-3, 1978, Univ. Paul Sabatier de Toulouse, 1978

\bibitem[Dyb87]{Dyb87} Dybvig, Kent R. The Scheme Programming Language. Englewood Cliffs 1987

\bibitem[DBB81]{DBB81} Dyer, D.; Balzer, B.; Bates, R.; Koomen, H.; Lynch, D.: InterLISP-VAX Pre-Announcement, Inform. Sciences Institute, InterLISP Project, Marina del Rey, July 17, 1981

\bibitem[ECF74]{ECF74} Earnest, L.; McCarthy, J.; Feigenbaum, E.; Lederberg, J.: Final Report - The First Ten Years of Artificial Intelligence Research at Stanford, Stanf. Univ., Comp. Sc. Dep., STAN-CS-74-409, AIM-228, Stanford, July 1973

\bibitem[Edw63]{Edw63} Edwards D.J.: Secondary Storage in LISP, M.I.T., Proj. MAC, MAC-M-128, A.I. Proj., A.I.MEMO 63, Cambridge, Dec. 1963

\bibitem[EdM63]{EdM63} Edwards, D.; Minsky, M.L.: Recent Improvements in DDT, M.I.T., A.I. Project, A.I.MEMO 60, Proj. MAC, Cambridge, 15 Nov. 1963

\bibitem[Edw64]{Edw64} Edwards, D.J.: LISP System, Mass. Inst. of Technology, Project MAC, MAC-M-132, Cambridge, January 9, 1964

\bibitem[Edw59]{Edw59} Edwards, D.J.: Symbolic Circuit Analysis with the 704 Electronic Computer, Mass. Inst. of Technology, Dept. of EE., BS Thesis, Cambridge, May 1959

\bibitem[EGR59]{EGR59} Edwards, D.J.; Goldberg, S.H.; Rochester, N.: Machine Manipulation of Algebraic Expressions, Massachusetts Inst. of Technology, Research Lab. of Electronics, Quarterly Progress Report No. 55, Cambridge, Oct. 1959

\bibitem[Ei85]{Ei85} Eicher, W.: Ein hardware-unterstuetzter LISP-Interpreter, Univ. Kaiserslautern, FB Inf., Dr-rer-nat Thesis, Kaiserslautern, Juni 1985

\bibitem[EiSSP87]{EiSSP87} Eicher, W.; Scheel, A.; Streit, H.; Puttkamer, E.v. A new strategy for Interpreting LISP applied to FranzLISP. Fb Informatik, Uni Kasierslautern 1987 (?)

\bibitem[Eis87]{Eis87} Eisenberg, Mike Programming in Scheme. Palo Alto, CA; Scientific Press 1987

\bibitem[EmH80]{EmH80} Emanuelson, P.; Haraldsson, A.: On Compiling Embedded Languages in LISP, Linkoeping Univ., Tekniska Hoegskolan, Datalogi, LiTH-MAT-R-80-20, Linkoeping, Sweden, May 1980

\bibitem[Ene68]{Ene68} Enea, H.: MLISP, Stanf. Univ., Comp. Science Dep., Techn. Rep. CS 92, Stanford, March 14, 1968

\bibitem[Ene63]{Ene63} Enea, H.: Clock Function for LISP 1.5, Stanford Univ., Art. Intel. Project, Memo No. 4, Stanford, Aug. 2, 1963

\bibitem[EnW63]{EnW63} Enea, H.; Wooldridge, D.: Algebraic Simplification, Stanford Univ., Art. Intel. Project, Memo No. 5, Stanford, Aug. 5, 1963

\bibitem[Epp77]{Epp77} Epp, B.: InterLISP Programmierhandbuch, Institut f. Deutsche Sprache, D-6800 Mannheim 1, Maerz 1977

\bibitem[ELP84c]{ELP84c} Erling, O.; Lassila, O.; Pirinen, P.: INTERCOSM - Window Oriented User Interface, Usrs Guide, ENTITY Systems, Nokia Data, Helsinki, Nov. 1984

\bibitem[ELP84b]{ELP84b} Erling, O.; Lassila, O.; Pirinen, P.: MikkoLISP in Kaeyttoe INTERCOSM ympaeristoessae, ENTITY Systems, Nokia Data, Helsinki, Nov. 1984

\bibitem[ELP84a]{ELP84a} Erling, O.; Lassila, O.; Pirinen, P.: MikkoLISP Reference Manual, Preliminary Edition, ENTITY Systems, Nokia Data, Helsinki, Nov. 1984

\bibitem[Eva64]{Eva64} Evans, T.G.: A Program for the Solution of a Class of Geometric-Analogy Intelligence-Test Questions, Physical and Math. Sciences Research Papers No. 64, Air Force Cambridge Research Lab., L.G. Hanscom Field, Cambridge, Mass., November 1964

\bibitem[Eva62]{Eva62} Evans, T.G.: A Heuristic Program to Solve Geometric Analogy Problems, M.I.T., Artificial Intelligence Project, A.I.MEMO 46, Cambridge, 1962

\bibitem[Fah81]{Fah81} Fahlman, S.E.: Spice LISP Status, Carnegie-Mellon Univ., Dep. of Computer Science, Pittsburgh, March 31, 1981

\bibitem[Fah80]{Fah80} Fahlman, S.E.: Computing Facilities for AI: A Survey of Present and Near-Future Options, Carnegie-Mellon Univ., Computer Science Dep., Pittsburgh, PA, Oct 30, 1980

\bibitem[Fah75b]{Fah75b} Fahlman, S.E.: The Intersection Problem, M.I.T., A.I. Lab., Working Paper 115, Cambridge, 1975

\bibitem[Fah75a]{Fah75a} Fahlman, S.E.: Thesis Progress ReporA System Representing and Using Real-World Knowledge, M.I.T., A.I. Lab., A.I.MEMO 331, Cambridge, 1975

\bibitem[FSKR82]{FSKR82} Fahlman, S.E.; Steele, G.L.; Kaiser, G.E.; Roggen, W. van: Internal Design of Spice LISP, Carnegie-Mellon Univ., Dep. of CS, Spice Project, Doc. S026, Pittsburgh, Pennsylvania, 19 July 1982

\bibitem[FaW82]{FaW82} Faletti, J.; Wilensky, R.: The Implementation of PEARL - A Package for Efficient Access to Representations in LISP, Univ. of California, Comp. Science Div., Dep. of EECS, Berkeley, March 1982

\bibitem[Fat82b]{Fat82b} Fateman, R.J.: FUGUE Notes, Number 2, Univ. of Calif., Berkeley, Oct. 1982

\bibitem[Fat82a]{Fat82a} Fateman, R.J.: FUGUE Notes Number 1, Univ. of California, Berkeley, March 1982

\bibitem[Fat78]{Fat78} Fateman, R.J.: Is a LISP Machine Different from a FORTRAN Machine ?, SIGSAM Bull., Vol. 12 (1978), No. 4

\bibitem[Fat77]{Fat77} Fateman, R.J.; et al.: Proceedings of the 1977 MACSYMA User's Conference, Berkeley, California, July 27-29, 1977, NASA-Langley Research Center, 1977

\bibitem[Fei68]{Fei68} Feigenbaum, E.A.: Artificial Intelligence: Themes in the Second Decade, Stanf. Univ., A.I. Proj., Memo AI-67, Stanford, Aug. 15, 1968

\bibitem[FeW65]{FeW65} Feigenbaum, E.A.; Watson, R.W.: An Initial Problem Statement for a Machine Induction Research Project, Stanford Univ., Art. Intel. Project, Memo No. 30, Stanford, April 5, 1965

\bibitem[FeM66]{FeM66} Fenichel, R.R.; Moses, J.: A New Version of CTSS LISP, M.I.T., Proj. MAC, MAC-M-296, A.I. Project, A.I.MEMO 93, Cambridge, 1966

\bibitem[FCFH83]{FCFH83} Fessenden, C.; Clinger, W.; Friedman, D.P.; Haynes,C.: Cheme 311 Version 4 Reference Manual, Indiana University, Computer Science Dept., Tech. Rep. 137, Jan. 1983

\bibitem[Fir67]{Fir67} Firth, Donna LISP 2 Input/Output Specifications. Tech Memo 1967

\bibitem[FiKa66]{FiKa66} Firth, Donna; Kameny, S.L. Syntax of LISP 2 Tokens. Tech Memo 1966

\bibitem[Fi86]{Fi86} Fitch, J.: Case for Support; Transportable Box of LISP Tools. University of Bath, School of Mathematics, Bath, May 1986

\bibitem[FiM78c]{FiM78c} Fitch, J.; Marti, J.: SLISP - The B-Interpreter, University of Utah, Symbolic Computation Group, Salt Lake City, 1978

\bibitem[FiM78b]{FiM78b} Fitch, J.; Marti, J.: A Small Standard LISP Interpreter, University of Utah, Symbolic Computation Group, Salt Lake City, 1978

\bibitem[FiM78a]{FiM78a} Fitch, J.; Marti, J.: SLISP - A Standard LISP Implementation in SDL, University of Utah, Symbolic Computation Group, Operatin Note 37, Salt Lake City, March 1978

\bibitem[FiP85b]{FiP85b} Fitch, J.; Padget, J.: Closurize and Concentrale, Proceedings of POPL '85 (ACM, New York), pp. 255-265

\bibitem[FiP85a]{FiP85a} Fitch, J.; Padget, J.: The Extent of Scope, M.Arato, I.Katai, L.Varga (Eds.): Proc. 4th Hung. Computer Sci. Conf., 1985

\bibitem[FiN77b]{FiN77b} Fitch, J.P.; Norman, A.C.: Implementing LISP in a High-Level Language, Software - Practice and Experience, Vol. 7 (1977), pp. 713-725

\bibitem[FiN77a]{FiN77a} Fitch, J.P.; Norman, A.C.: A Note on Compacting Garbage Collection, Computer Journal, Vol. 21 (1977), No. 1, pp. 31-34

\bibitem[Fla87]{Fla87} Fladung, Bonne J. The XLISP Primer. Englewood Cliffs 1987

\bibitem[Fly83]{Fly83} Flynn, A.M.: The Connection Machine RAM Chip, M.I.T., A.I. Lab., Working Paper 242, Cambridge, 1983

\bibitem[Fod82]{Fod82} Foderaro, J.K.: The Fraz LISP Manual, Univ. of Calif., Dep. of EE and CS, Berkeley, California, April 1982

\bibitem[FSL83]{FSL83} Foderaro, J.K.; Sklower, K.L.; Layer, K.: The Franz LISP Manual, Univ. of California, San Francisco o. Berkeley ?, June 1983

\bibitem[FRS76]{FRS76} Frankel, R.E.; Rosenschein, S.J.; Smoliar, S.W.: A LISP-Based System for the Study of Schenkerian Analysis, Computers and he Humanities, Vol. 10, 1976, pp. 21-32

\bibitem[FAB64]{FAB64} Fredkin, E.; Abrahams, P.W.; Berkeley, E.C.; Saunders, R.A.; Henneman, W.A.: A LISP II Programming System, Subm. to: System Develop. Corp., Proposal 64-12, Santa Monica, 30 Dec. 1964

\bibitem[Fre76]{Fre76} Freuder, E.C.: Synthesizing Constraint Expressions, M.I.T., A.I. Lab., A.I.MEMO 370, Cambridge, 1976

\bibitem[FHKW85]{FHKW85} Friedman, D.P.; Haynes, C.T.; Kohlbecker, E.; Wand, M.: Scheme84 Interim Reference Manual - Version 0.7, Indiana University, Computer Science Dept., June 1985

\bibitem[FWHKC84]{FWHKC84} Friedman, D.P.; Wand, M.; Haynes, C.T.; Kohlbecker, E.; Clinger, W.: Fundamental Abstractions of Programming Languages, Indiana University, Computer Science Dept., Fall 1984

\bibitem[FrW77]{FrW77} Friedman, D.P.; Wise, D.S.: A Note on Conditional Expressions, Indiana Univ., Technical Report No. 70, Bloomington, Indiana, Oct. 1977

\bibitem[FrW74]{FrW74} Friedman, D.P.; Wise, D.S.: Unwinding Structured Recursions Into Iterations, Indiana Univ., Comp. Sc. Dep., Tech. Rep. 19, Bloomington, Indiana, Dec. 1974

\bibitem[Frife86]{Frife86} Friedman, Daniel P.; Felleisen, Matthias The Little LISPer MIT Press Cambridge, Mass. \& London, GB 1987

\bibitem[Go87]{Go87} G\"orz, G. Symbolische Informationsverarbeitung in LISP: Programmierstile und Verarbeitungsmodelle. Universit\"at Erlangen-Nuernberg, 1987

\bibitem[GaP86]{GaP86} Gabriel, R. P.; Pitman, K. M. Issues of Separation in Function Cells and Value Cells. ?, Nov./Dec. 1986

\bibitem[Gab84]{Gab84} Gabriel, R.P.: Software Pipelining, Stanford Univ., Lawrence Livermore National Lab., Stanford, 1984

\bibitem[Gab82]{Gab82} Gabriel, R.P.: Performance and Evaluation of LISP Systems, Stanford Univ., Stanford, 1982

\bibitem[GaC84]{GaC84} Gabriel, R.P.; McCarthy, J.: Queue-Based Multi-Processing LISP, Stanford Univ., Computer Science Dep., STAN-CS-84-1007, Stanford, June 1984

\bibitem[Ga86]{Ga86} Gabriel, Richard P. Performance and Evaluation of LISP Systems. The MIT Press, Cambridge/London, 1986 (3. Aufl.)

\bibitem[GaP79]{GaP79} Galley, S.W.; Pfister, G.: The MDL Programming Language, M.I.T., Computer Science Lab., MIT/LCS/TR-293, Cambridge, Mass., 1979

\bibitem[GGMO84]{GGMO84} Galway, W.; Griss, M.L.; Morrison, B.; Othmer, B.; (Utah Symbolic Computation Group): The Portable Standard LISP (PSL) User's Manual, Version 3.2, Univ. of Utah, TR-10, Salt Lake City, 16 March 1984

\bibitem[GeH87]{GeH87} Gehrke, M.; Haugeneder, H. LISP Grundkurs Siemens AG, Muenchen, 1987

\bibitem[Ge75 (siehe auch Ge74)]{Ge75 (siehe auch Ge74)} Geiser, J. R. Commenting Proofs. IJCAI-4, Tbilisi, USSR, 3-8 Sep. 1975, Proc. pp. 34-39

\bibitem[Gei74]{Gei74} Geiser, J.R.: Commenting Proofs, M.I.T., A.I. Lab., A.I.MEMO 309, Cambridge, 1974

\bibitem[Gel58]{Gel58} Gelernter, H.: A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine, IBM Res. Rep. 00/85, August 14, 1958

\bibitem[GHG60]{GHG60} Gelernter, H.; Hansen, J.R.; Gerberich, C.L.: A Fortran-Compiled List-Processing Language, Journal of the Association for Computing Machinery, Vol.7, No.2, April 1960

\bibitem[Ge79]{Ge79} Gerow, ?; Manual dlja DOS-ES-LISP1.6 Institut fuer Mathematik und Rechenzentrum, Bulgarische Akademie der Wissen- schaften, Sofia, 1979

\bibitem[GeZ80]{GeZ80} Gerow, A., Zwetanov, D: DOS-ES LISP 1.6 Kurzmanual (bulgarisch) Institut f. Mathematik und Rechenzentrum der Bulgarischen Akademie der Wis- senschaften, Sofia, 1980

\bibitem[GiGu85]{GiGu85} Gini Giuseppina; Gini, Maria; Guida, Giovanni LISP. Linguaggio e metodologia di programmazione. Milano 2. Aufl. 1985

\bibitem[GMM64]{GMM64} Glaser, D.; McCarthy, J.; Minsky, M.: The Automated Biological Laboratory, Summer Study in Exbiology, National Academy of Sciences, Oct. 18, 1964

\bibitem[Gno84]{Gno84} Gnosis: Learning LISP, Prentice Hall, Englewood Cliffs, 1984

\bibitem[GGH80]{GGH80} Goates, G.B.; Griss, M.L.; Herron, G.J.: Picturebalm: A LISP-Based Graphics Language System with Flexible Syntax and Hierarchical Data Structure, Univ. of Utah, Computer Science Dep., Submitted to: SIGGRAPH-80, UCP-78, Salt Lake City, 1980

\bibitem[Goe84]{Goe84} Goerz, G.: TLC - LISP Kurzmanual, Vers. 2, Univ. Erlangen - Nuernberg, Region. Rechenzentrum RRZE, Erlangen, 10. 5. 1984

\bibitem[Goe76]{Goe76} Goerz, G.: Die Verwendung von LISP an wissenschftl. Rechenzentren in der BRD, Univ. Erlangen-Nuernberg, Rechenzentrum RRZE, IAB Nr. 63, Erlangen, Dez. 1976

\bibitem[Go72]{Go72} Goerz, G.: LISP 1.5 - Handbuch fuer die CD3300, Mitteilungsblatt des Rechenzentrums der Universitaet Erlangen-Nuernberg, RRZE, No. 11, Erlangen, Maerz 1972

\bibitem[GoB83]{GoB83} Goerz, G.; Beckstein, C.: How to Parse Gaps in Spoken Utterances, Univ. Erlangen-Nuernberg, Regionales Rechenzentrum RRZE, Erlangen, 1983

\bibitem[Gol59]{Gol59} Goldberg, S.H.: Solution of an Electrical Network Using a Digital Computer, Mass. Inst. of Technology, Dept. of EE., MS Thesis, Cambridge, August 1959

\bibitem[Gol70]{Gol70} Golden, J.P.: A User's Guide to the A.I. Group Liscom LISP Compiler: Interim Report, M.I.T., Art. Intelligence Lab., A.I.MEMO 210, Cambridge, 1970

\bibitem[Gob75]{Gob75} Goldenberg, E.P. (adapted from Memo 14 of Abelson and Adams): A Glossary of PDP11 Logo Primitives, M.I.T., A.I. Lab., Logo Memo 16, A.I.MEMO 315A, Cambridge, 1975

\bibitem[Gol73b]{Gol73b} Goldstein, I.: Elementary Geometry Theorem Proving, M.I.T., A.I. Lab., A.I.MEMO 280, Cambridge, 1973

\bibitem[Gol73a]{Gol73a} Goldstein, I.: Pretty-Printing Converting List to Linear Structure, M.I.T., A.I. Lab., A.I.MEMO 279, Cambridge, 1973

\bibitem[GLBM75]{GLBM75} Goldstein, I.; Lieberman, H.; Bochner, H.; Miller, M.: LLOGO: An Implementation of LOGO in LISP, M.I.T., A.I. Lab., Logo Memo 11, A.I.MEMO 307A, Cambridge, 1975

\bibitem[GLBM74]{GLBM74} Goldstein, I.; Lieberman, H.; Bochner, H.; Miller, M.: LLOGO: An Implementation of LOGO in LISP, M.I.T., A.I. Lab., Logo Memo 11, A.I.MEMO 307, Cambridge, 1974

\bibitem[Gol74]{Gol74} Goldstein, I.P.: Summary of MycrofA System for Understanding Simple Picture Programs, M.I.T., A.I. Lab., Logo Memo 10, A.I.MEMO 305, Cambridge, 1974

\bibitem[Goo77]{Goo77} Goodwin, J.: A Guided Tour of the InterLISP System, Part I, Univ. i Linkoeping, Tekniska Hoegskolan, LiTH-MAT-R-77-2, Linkoeping, 1977

\bibitem[Gor83]{Gor83} Gordon, S. Novak Jr. GLISP User's Manual. Technical Report TR-83-25 (Preliminary Version) Department of computer sciences Austin,Texas 1983

\bibitem[Gos81]{Gos81} Gosling, J.: UNIX EMACS, M.I.T. ?, CMU, Cambridge, Dec. 1981

\bibitem[Gos74]{Gos74} Gosper, R.W.: Acceleration of Series, M.I.T., A.I. Lab., A.I.MEMO 304, Cambridge, 1974

\bibitem[Got74]{Got74} Goto, E.: Monocopy and Associative Algorithms in an Extended LISP, Univ. of Tokyo, Information Science Lab., Techn. Rep. 74-03, Tokyo, May 1974

\bibitem[GoK78]{GoK78} Goto, E.; Kanada, Y.: Hashing Lemmas on Time Complexities with Application to Formula Manipulation, SYMSAC '76

\bibitem[Gra81]{Gra81} Graetz, J.M.: Space War, Creative Computing 1981, pp. 56-66

\bibitem[Gre69]{Gre69} Green, C.C.: The Application of Theorem Proving to Question-Answering Systems, Stanf. Univ., CS Dep., Techn. Rep. CS 138, Memo AI-96, Stanford, June 1969

\bibitem[GWB74]{GWB74} Green, C.C.; Waldinger, R.J.; Barstow, D.R.; Elschlager, R.; Lenat, D.B.; McCune, B.P.; Shaw, D.E.; Steinberg, L.I.: Progress Report on Program-Understanding Systems, Stanf. Univ., Comp. Sc. Dep., STAN-CS-74-444, AIM-240, Stanford, Aug. 1974

\bibitem[GSA75]{GSA75} Greenawalt, E.M.; Slocum, J.; Amsler, R.A.: U.T. LISP, Version 4.0, Univ. of Texas at Austin, Computation Center, Austin, May 1975

\bibitem[Gre78]{Gre78} Greenberg, B. Notes on the Programming Language LISP, M.I.T., Student Information Processing Board, Cambridge, 1978

\bibitem[Grn77]{Grn77} Greenberg, Bernard S. The Multics MACLISP Compiler. The Basic Hackery. A Tutorial. ???

\bibitem[Gr75]{Gr75} Greenblatt, R: The LISP Machine, AI Lab, MIT, Cambridge, 1975

\bibitem[Gre75]{Gre75} Greif, I.: Semantics of Communicating Parallel Processes, M.I.T., Project MAC, MAC TR-154, Cambridge, Mass., Sep. 1975

\bibitem[Gre77]{Gre77} Greussay, P.: Contribution a la Definition Interpretative et a l'Implementation des Lambda- Langages, Univ. Paris 7, Lab. Inform. Theoretique et Progr., These de Doctorat, No. 78-2, Paris, Nov. 1977

\bibitem[Gre76c]{Gre76c} Greussay, P.: Descriptions Compactes d'Interpretes Implementables. Une Application au Language CONNIVER, 2eme Colloque International sur la Programmation, Institut de Programmation, Paris, 1976

\bibitem[Gre76b]{Gre76b} Greussay, P.: Iterative Interpretation of Tail-Recursive LISP Procedures, Univ. of Vincennes, Dep. d' Informatique, TR-20-76, Paris, Sep. 1976

\bibitem[Gre76a]{Gre76a} Greussay, P.: VLISP: Structure et Extensions d'un Systeme LISP pour Mini-Ordinateurs, Univ. de Paris 8, U.E.R. Informatique-Linguistique, RT 16-76, Paris, Jan. 1976

\bibitem[Gre75]{Gre75} Greussay, P.: LISP T 1600, Univ. Paris 8, Inst. de L'Environnement, Paris, Fevr. 1975

\bibitem[GrL78]{GrL78} Greussay, P.; Laubsch, J.: LISP Bulletin \#2, Univ. Paris 8, Dept. Informatique, Univ. Stuttgart, Inst. f. Informatik, Stuttgart, Juli 1978

\bibitem[Gri62]{Gri62} Griffith, A.K.: An Introduction to LISP, Univ. of Florida, Quantum Theory Proj. for Research in Atomic, Molecular and Solid State Chemistry and Physics, Preprint No. 31, 15 Nov. 1962

\bibitem[Gri82d]{Gri82d} Griss, M.L.: PSL Interest Group, Newsletter \#7, Univ. of Utah, CS Dep., Salt Lake City, Dec. 22, 1982

\bibitem[Gri82c]{Gri82c} Griss, M.L.: PSL Interest Group: Newsletters \#4-6, Univ. of Utah, CS Dep., Salt Lake City, Feb., May, June 1982

\bibitem[Gri82b]{Gri82b} Griss, M.L.: PSL-V3-VAX-Times, Portable Standard LISP (2 Mails), Univ. of Utah, Salt Lake City, March 1982

\bibitem[Gri82a]{Gri82a} Griss, M.L.: Portable Standard LISP (PSL), A Brief Overview, Univ. of Utah, Dep. of Computer Science, Utah Symbolic Comp. Group, Op. Note 58, Salt Lake City, Jan. 11, 1982

\bibitem[Gri81c]{Gri81c} Griss, M.L.: Portable Standard LISP - A Brief Overview, Univ. of Utah, Dept. of Computer Science, Utah Symbolic Computation Group, Operating Note 58, Salt Lake City, Dec. 1981

\bibitem[Gri81b]{Gri81b} Griss, M.L.: PSL Files, Univ. of Utah, Computer Science, Salt Lake City, Aug. 11, 1981

\bibitem[Gri81a]{Gri81a} Griss, M.L.: Portable Standard LISP - A Brief Introduction, Univ. of Utah, Dep. of Computer Science, (801)-581-6542, Salt Lake City, 1981

\bibitem[Gri78b]{Gri78b} Griss, M.L.: Using an Efficient Sparse Minor Expansion Algorithm to Compute Polynomial Subresultants and the Greatest Common Denominator, Draft, Submitted to IEEE Transactions on Comp., Vol. c-27, No. 10, Oct. 1978

\bibitem[Gri78a]{Gri78a} Griss, M.L.: MBALM/BIL - A Portable LISP Interpreter, Univ. of Utah, Symbolic Comp. Group, Op. Note 38, Salt Lake City, March 1978

\bibitem[GrB82]{GrB82} Griss, M.L.; Benson, E.: PSL: A Portable LISP System, Univ. of Utah, Dep. of Computer Science, Submitted to 1982 LISP Conference, Salt Lake City, Jan. 24, 1982

\bibitem[GBM82]{GBM82} Griss, M.L.; Benson, E.; Maguire, G.Q.jr: PSL: A Portable LISP System, Univ. of Utah, Dep. of Computer Science, UCP-83, Salt Lake City, May 1982/ ACM Symposium on LISP and Functional Progr., Pittsburgh, Aug. 1982

\bibitem[GrH81]{GrH81} Griss, M.L.; Hearn, A.C.: A Portable LISP Compiler, Software-Practice and Experience, Vol. 11, pp. 541-605 (1981)

\bibitem[GrH79]{GrH79} Griss, M.L.; Hearn, A.C.: A Portable LISP Compiler, Univ. of Utah, CS Dep., UCP-76, Salt Lake City, June 1979, (rvsd. 1980)

\bibitem[GrH77]{GrH77} Griss, M.L.; Hearn, A.C.: Standard LISP Compiler, Univ. of Utah, Salt Lake City, Sep. 1977

\bibitem[GrH73]{GrH73} Griss, M.L.; Hearn, A.C.: A Portable LISP Compiler, University of Utah, Draft, Salt Lake City, 1973

\bibitem[GHM81]{GHM81} Griss, M.L.; Hearn, A.C.; Morrison, B: The RLISP/SYSLISP Primer, University of Utah, Dept. of Computer Science, Salt Lake City, July 1981

\bibitem[GrK80]{GrK80} Griss, M.L.; Kessler R.R.: REDUCE/1800: Standard LISP and REDUCE on the Burroughs B1700/B1800 Computer, Univ. of Utah, Computer Science Dep., Salt Lake City, June 1980

\bibitem[GrK78]{GrK78} Griss, M.L.; Kessler, R.R.: REDUCE/1700: A Micro-Coded Algebra System, Univ. of Utah, Computer Science Dep., Salt Lake City, UUCS-78-109, UCP-63, Aug. 1978 and The 11th Annual Microprogramming Workshop, Nov. 19-22, 1978

\bibitem[GKM79]{GKM79} Griss, M.L.; Kessler, R.R.; Maguire, G.Q.jr.: TLISP - A "Transportable LISP" Implemented in Pcode, Univ. of Utah, CS Dep., UCP-74, UUCS - 79-110, Salt Lake City, April 1979

\bibitem[GrS79]{GrS79} Griss, M.L.; Swanson, M.R.: MBALM/1700: A Microprogrammed LISP Machine for the Burroughs B1726, Univ. of Utah, Computer Science Dep., Salt Lake City, 1979

\bibitem[GrS77]{GrS77} Griss, M.L.; Swanson, M.R.: MBALM/1700: A Microprogrammed LISP Machine for the Burroughs B1726, Proc. of MICRO-10, 1977

\bibitem[Gu81]{Gu81} Guzman, A.: A Heterarchical Multi-Microprocessor LISP Machine Institudo de Investigaciones en Matematicas Aplicadas y en Sistemas, Universidad Nacianal Autonoma de Mexico, Mexico, 1981

\bibitem[GuI66b]{GuI66b} Guzman, A.; McIntosh, H.V.: CONVERT, M.I.T., Proj. MAC, MAC-M-316, A.I. Project, A.I.MEMO 99, Cambridge, 1966

\bibitem[GuI66a]{GuI66a} Guzman, A.; McIntosh, H.V.: A Program Feature for CONVERT, M.I.T., Proj. MAC, MAC-M-305, A.I. Project, A.I.MEMO 95, Cambridge, 1966

\bibitem[Hae79]{Hae79} Haegglund, S.: An Application of LISP as an Implementation Language for the Domain Expert's Programming Environment, Linkoeping Univ., Informatics Lab., LiTH-MAT-R-79-39, Linkoeping, Nov. 1979

\bibitem[Hal77]{Hal77} Halstead, R.H. jr.: Multiple-Processor Implementations of Message-Passing Systems, M.I.T., Computer Science Lab., MIT/LCS/TR-198, Cambridge, Mass., ca. 1977-80

\bibitem[Hal84]{Hal84} Halstead, R.H.jr. The MULTILISP Language: LISP for a Multiprocessor. Conf. on 5th Generation Computers, Tokyo, 1984

\bibitem[Ham85]{Ham85} Hamann, C.-M.: Einfuehrung in das Programmieren in LISP, de Gruyter, Berlin etc., 1985 (2nd Ed.)

\bibitem[Ham82b]{Ham82b} Hamann, C.-M.: Einfuehrung in das Programmieren in LISP, de Gruyter, Belin etc., 1982

\bibitem[Ham82a]{Ham82a} Hamann, C.-M.: Die Programmiersprache LISP - eine einfuehrende Uebersicht, Elektronik 1, 15. 1. 1982

\bibitem[Ham87]{Ham87} Hamann, Christian-M. K\"unstliche Intelligenz - eine einf\"uhrende \"Ubersicht. Elektronik 9, 30.4.1987

\bibitem[Han82]{Han82} Handsaker, R.E.: Code Generation in the Programmer's Apprentice, M.I.T., A.I. Lab., Working Paper 233, Cambridge, 1981

\bibitem[HaS79]{HaS79} Haraldson, A.; Stroem, A.: Laborationsmaterial i Data och Programstrukturer, D3, Universitet i Linkoeping, Dept. of Mathematics, Linkoeping, Sep. 1981

\bibitem[Har80]{Har80} Haraldsson, A.: REDUCE - Sprak foer Formelbehandling, Linkoeping Univ., Tekniska Hoegskolan, Datalogi, 1980-02-20, Linkoeping, 1980

\bibitem[Har77]{Har77} Haraldsson, A.: A Partial Evaluator, and its Use for Compiling Iterative Statements in LISP, Conference Record of the 5th Annual ACM Symposium on Principles of Progr. Languages, 1977

\bibitem[Har69]{Har69} Haraldsson, A.: Ett Svenskt Fragebesvarande Program for Slaektskapsrelationer, Uppsala University, Dep. of Comp. Sciences, Report No. 20, Uppsala, May 1969

\bibitem[Har75]{Har75} Hardy, S.: Synthesis f LISP Functions from Examples 4th IJCAI 1975, Tbilissi, S. 240-245

\bibitem[Har70]{Har70} Harrison, M.C.: BALM - An Extendable List-Processing Language, New York University, AEC Contract No. AT (30-1)-1480, New York City, 1970

\bibitem[Har64]{Har64} Hart, T.: CTSS LISP Notice-Supplement to A..MEMO 67, M.I.T., Proj. MAC, MAC-M-206, A.I. Project, A.I.MEMO 74, Cambridge, 1964

\bibitem[Har61]{Har61} Hart, T.: Simplify, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 27, Cambridge, 1961

\bibitem[Har63b]{Har63b} Hart, T.P.: MACRO Definitions for LISP, M.I.T., A.I. Project, A.I.MEMO 57, Cambridge, 22 Oct. 1963

\bibitem[Har63a]{Har63a} Hart, T.P.: A Proposal for a Geometry Theorem Proving Progam, M.I.T., A.I. Project, A.I.MEMO 56, Cambridge, 11 Sep. 1963

\bibitem[HaE63]{HaE63} Hart, T.P.; Evans, T.G.: The M-460 LISP 1.5 System, Air Force Cambridge Research Laboratories, Cambridge, 1963

\bibitem[HaL62]{HaL62} Hart, T.P.; Levin, M.: The New Compiler, M.I.T., A.I. Project, A.I.MEMO 39, Cambridge, 1962

\bibitem[HaL64]{HaL64} Hart, T.P.; Levin, M.I.: LISP Exercises, M.I.T., Proj. MAC, MAC-M-134, A.I. Project, A.I.MEMO 64, Cambridge, 1964

\bibitem[Har84]{Har84} Harten, L.P., (Ed.): MACSYMA Applications Newsletter, Paradigm Associates, Inc., Vol. 1, No. 1, July 1984

\bibitem[Has76]{Has76} Hasegawa, H.: On the LISP Pretty Reader, 17th Annual Conf., IPSJ, Oct. 1976

\bibitem[Has84]{Has84} Hasemer, T.: Looking at LISP, Addison Wesley, Reading etc., 1984

\bibitem[Haw67a]{Haw67a} Hawkinson, L. LISP 2 Core Image Generator (CIG) Specifications. Tech Memo 1967

\bibitem[Haw67]{Haw67} Hawkinson, L. LISP 2 Internal Storage Conventions. Tech Memo 1967

\bibitem[Haw66]{Haw66} Hawkinson, L.: Technical Progress ReporLISP 2 (Period Ending July 6, 1966), Inormation International Inc., Dec. 7, 1966

\bibitem[HaHA83]{HaHA83} Hayashi, H.; Hattori, A.; Akimoto, H.: ALPHA - a High-Performance LISP Machine Equipped with a New Stack Structure and Garbage Collection System. 10th Annual International Symposium on Computer Architecture, IEEE, 1983

\bibitem[Hay81]{Hay81} Hayes-Roth, F.: A Tutorial on Expert Systems: Putting Knowledge to Work, 7th IJCAI - 81, Tutorial Material

\bibitem[Hea77b]{Hea77b} Hearn, A.C.: MAC10 (PDP-10), Univ. of Utah, Salt Lake City, Sep. 1977

\bibitem[Hea77a]{Hea77a} Hearn, A.C.: MAC360 (IBM), Univ. of Utah, Salt Lake City, Sep. 1977

\bibitem[Hea69]{Hea69} Hearn, A.C.: Standard LISP, Stanford Univ., Art. Intel. Report, Memo AI-90, Stanford, May 1969

\bibitem[Hea67b]{Hea67b} Hearn, A.C.: A User-Oriented Interactive System for Algebraic Simplification, Stanford Univ., Art. Intel. Project, Memo A.I. 57, Stanford, Oct. 5, 1967

\bibitem[Hea67]{Hea67} Hearn, A.C.: REDUCE Users' Manual, Stanford Univ., Art. Intel. Project, Memo 50, Stanford, Feb. 1967

\bibitem[HeN79]{HeN79} Hearn, A.C.; Norman, A.C.: A One-Pass Pretty-Printer, Univ. of Utah, Symbolic Computaion Group, UCP-75, Salt Lake City, May 1979

\bibitem[HeS83]{HeS83} Hearn, A.C.; Seward, L.R.: REDUCE Installation Guide for the DEC VAX-11 Series Running UNIX, Vers. 3.0, Rand Corp., Rand Publ. CP84 (4/83)

\bibitem[Hed84]{Hed84} Hedrick, C.L.: Tops-20 Common LISP, Rutgers Univ., Swiss Cheese Edition, 1984

\bibitem[Hew76b]{Hew76b} Hewitt, C.: Viewing Control Structures as Patterns of Passing Messages, M.I.T., A.I. Lab., A.I.MEMO 410, Cambridge, 1976

\bibitem[Hew76a]{Hew76a} Hewitt, C.: Viewing Control Structures as Patterns of Passing Messages, M.I.T., A.I. Lab., A.I.Working Paper 92, Dec. 1975, Revised Apr. 1976, Cambridge, 1976

\bibitem[Hew72]{Hew72} Hewitt, C.: Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot, M.I.T., A.I. Lab., AI-TR-258, Cambridge, April 1972

\bibitem[Hew71]{Hew71} Hewitt, C.: Planner Implementation Proposal to Arpa 1972-1973, M.I.T., A.I. Lab., A.I.MEMO 250, Cambridge, 1971

\bibitem[Hew67]{Hew67} Hewitt, C.: PLANNER: A Language for Proving Theorems, M.I.T., A.I. Project, A.I.MEMO 137, Cambridge, 1967

\bibitem[HeA80]{HeA80} Hewitt, C.; Attardi, G.: Guardians for Concurrent Systems, M.I.T., A.I. Lab., Working Paper 212, Cambridge, 1980

\bibitem[HeL83]{HeL83} Hewitt, C.; Lieberman, H.: Design Issues in Parallel Architectures for Artifical Intelligence, M.I.T., A.I. Lab., A.I.MEMO 750, Cambridge, 1983

\bibitem[HAL79]{HAL79} Hewitt, C.;Attardi, G.; Lieberman, H.: Specifying and Proving Properties of Guardians for Distributed Systems, M.I.T., A.I. Lab., A.I.MEMO 505, Cambridge, 1979

\bibitem[HdJ83]{HdJ83} Hewitt, C.;de Jong, P.: Analyzing the Roles of Descriptions and Actions in Open Systems, M.I.T., A.I. Lab., A.I.MEMO 727, Cambridge, 1983

\bibitem[Hew70]{Hew70} Hewitt,C.: Teaching Procedures in Human and Robots, M.I.T., Art. Intelligence Lab., A.I.MEMO 208, Cambridge, 1970

\bibitem[HP86]{HP86} Hewlett Packard LISP Language Reference (M-Z) HP, Fort Collins, 1986

\bibitem[HP86]{HP86} Hewlett Packard LISP Language Reference (A-L) HP, Fort Collins, 1986

\bibitem[HP86]{HP86} Hewlett Packard LISP Application Notes HP, Fort Collins, 1986

\bibitem[HP86]{HP86} Hewlett Packard LISP Syntax Reference HP, Fort Collins, 1986

\bibitem[HP85]{HP85} Hewlett Packard Common LISP Development Environment. HP, Dec. 1985

\bibitem[Hex64b]{Hex64b} Hext, J.: Programming Languages and Translation, Stanford Univ., Art. Intel. Project, Memo No. 19, Stanford, Aug. 14, 1964

\bibitem[Hex64a]{Hex64a} Hext, J.: An Expression Input Routine for LISP, Stanford Univ., Art. Intel. Project, Memo No. 18, Stanford, July 24, 1964

\bibitem[Hey87]{Hey87} Heyers, Rudolf LisPas II ST. c't 1987, Heft 11

\bibitem[Hil81]{Hil81} Hillis, W.D.: The Connection Machine, M.I.T., A.I. Lab., A.I.MEMO 646, Cambridge, 1981

\bibitem[Hod60]{Hod60} Hodes, L.: Some Results from a Pattern Recognition Program Using LISP, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 18, Cambridge, 1960

\bibitem[Hoe77]{Hoe77} Hoed, M. den: Een LISP Interpretator voor de PDP-11, Deel I en II, Afstudeerverslag, M. den Hoed, Sep. 1977

\bibitem[HTW71a]{HTW71a} Hoffmann, G.R.; Timner, L.; Wallberg, H.: LISP F 1.1 for CDC-3000 L Computer Series, Manual, Universitaet Tuebingen, Zentrum f. Datenverarbeitung, Tuebingen, April 1971

\bibitem[HTW71b ?]{HTW71b ?} Hoffmann, G.R.; Timner, L.; Wallberg, H.: (Nordstroem)? LISP F 1: Interne Beschreibung, Universitaet Tuebingen, Zentrum f. Datenverarbeitung, Tuebingen, 1971 ?

\bibitem[Hof84]{Hof84} Hofstadter, D. LISP 3. ???, 2 July 1984

\bibitem[Hof83]{Hof83} Hofstadter, D. LISP: Recursion and Generality, ???, Apr 1983

\bibitem[Hof82b]{Hof82b} Hofstadter, D. Translations of Goedels 46 Function Definitions into LISP. ???, April 1982

\bibitem[Hol71]{Hol71} Holbaek - Hanssen, E. LAP 3300 (LISP Assembly Program), User's Manual, Univ. of Oslo, Inst. of Math., Lecture Note Series (No.15?), Oslo, April 1971

\bibitem[Hol74b]{Hol74b} Holbaek-Hanssen, E.: LISP 3300, LAP 3300, Minicomp, Implementation Guide for CD3300, University of Oslo, Inst. of Math., Oslo, Oct. 1974

\bibitem[Hol74a]{Hol74a} Holbaek-Hanssen, E.: LISP 3300, Vers. 2, University o Oslo, Inst. of Math., Oslo, 1974

\bibitem[Hol72]{Hol72} Holbaek-Hanssen, E.: LISP 3300, User's Manual, Univ. of Oslo, Inst. of Math., Lecture Note Series, No. 15, Oslo, 1972 o. 73?

\bibitem[Hol69]{Hol69} Holbaek-Hanssen, E.: LISP 3300 User's Manual, Version 1, University of Oslo, Inst. of Math., Oslo, Dec. 1969

\bibitem[HSSB80]{HSSB80} Holloway, J.; Steele, G.L.jr.; Sussman, G.J.; Bell, A.: The Scheme-79 Chip, M.I.T., A.I. Lab., A.I.MEMO 559, Cambridge, 1980

\bibitem[Hol85]{Hol85} Holtz, Frederick LISP. The language of Artificial Intelligence. TAB Books (USA) 1985

\bibitem[HBT82]{HBT82} Horn, W.; Buchberger, E.; Trost, H.: Database Access in LISP, ECAI-82

\bibitem[How75]{How75} Howard, F.: PDP-11 LISP, Harvard University, HRSTS Science Center, March 3, 1975

\bibitem[How66]{How66} Howard, M.V. Operating Instructions for the LISP 2 Supervisor in the LISP 2 Core Image. Tech Memo 1966

\bibitem[Hub65]{Hub65} Huberman, B.: The Advice Taker and GPS, Stanford Univ., Art. Intel. Project, Memo No. 33, Stanford, June 10, 1965

\bibitem[Hub68]{Hub68} Huberman, B.J.: A Program to Play Chess End Games, Stanf. Univ., CS Dep., Tech. Rep. CS 106, Memo AI-65, Stanford, 19 Aug. 1968

\bibitem[HyS85]{HyS85} Hyvoenen, E.; Seppaenen, J.: LISP-Maailma, Vol. 1 + 2, Knowledge Engineering Ky, NITEC Nokia, Helsinki, 1985

\bibitem[HyS84]{HyS84} Hyvoenen, E.; Seppaenen, J.: LISP Symbolienkaesittelyn ja tekoaelyn ohjelmointikieli, Teknillinen Korkeakoulu, Nokia Data, Helsinki, Nov. 1984

\bibitem[HyS83]{HyS83} Hyvoenen, E.; Seppaenen, J.: LISP-Ohjelmointikieli 25 Voutta, Tekniska Hoegskolan Helsingfors, Reaeknecentralen, Res. Rep. 6, Esbo (Finnland), 1983

\bibitem[IBM62]{IBM62} IBM IBM7090 Data Processing System Reference Manual IBM Corp., A22-6528-4, Poughkeepsie, Sept. 1962

\bibitem[IBM80]{IBM80} IBM: LISP/370, Program Description/ Operations Manual, IBM, Rep. No. SH20-2076-0, April 27, 1980

\bibitem[IfI83]{IfI83} Institut fuer Informatik Kuenstliche Intelligenz am IfI der Universitaet Stuttgart. Eine Uebersicht zu Forschung und Lehre. IfI, Stuttgart, 1983

\bibitem[Jen80]{Jen80} Jenks, R.D.: MODLISP: A Preliminary Design, IBM Watson Res. Center, Res. Rep. RC 8073 (\#35049) 1/18/80, New York, 1980

\bibitem[Jen77]{Jen77} Jenks, R.D.: LISP/370, A Short Technical Description, IBM, 1977

\bibitem[Jen71]{Jen71} Jenks, R.D.: META/PLUS: The Syntax Extension Facility for SCRATCHPAD, IBM T.J. Watson Research Center, RC 3259, New York, Feb. 23, 1971

\bibitem[Jen70]{Jen70} Jenks. R.D.: META/LISP, An Interactive Translator Writing System, IBM Thomas J. Watson Research Center, RC 2968, New York, July 21, 1970

\bibitem[Joh77 o. Mas77]{Joh77 o. Mas77} Johnson, J.: o. Masinter, L.: Small LISP (SLISP), Xerox PARC, Info, Palo Alto, August 1977

\bibitem[JoSo85]{JoSo85} Johnson, W. Lewis; Soloway, Elliot PROUST. The LISP program automatically debugs the efforts novice Pascal Programmers. Byte 4, 1985, pp. 179 - 190

\bibitem[Joy85]{Joy85} Joy, B.: Sun CommonLISP Benchmarks - Some Early Results, Sun Microsystems, Sep. 1985

\bibitem[Jue74]{Jue74} Juergensen, H.: Zur Uebersetzbarkeit von Programmiersprachen, 4. Fachtag. Progr.sprachen, Kiel 5.-7.3. 1974, Springer LNCS 7, Berlin, 1974

\bibitem[Kah79a]{Kah79a} Kahn, K.M.: Director Guide, M.I.T., A.I. Lab., A.I.MEMO 482B, Cambridge, 1979

\bibitem[Kah78]{Kah78} Kahn, K.M.: Director Guide, M.I.T., A.I. Lab., A.I.MEMO 482, Cambridge, 1978

\bibitem[Kah76]{Kah76} Kahn, K.M.: An Actor-Based Computer Animation Language, M.I.T., A.I. Lab., Working Paper 120, Logo W. Paper 48, Cambridge, 1976

\bibitem[Kai86]{Kai86} Kaisler, Stephen H. INTERLISP. The Language and its Usage. John Wiley \& Sons New York u.a. 1986

\bibitem[Kal72]{Kal72} Kalhoff, B.: Ein Compiler fuer das System LISP 1.5 X8 Kiel, Diplomarbeit, Kiel, 25. 4. 1972

\bibitem[KaS77]{KaS77} Kalhoff, B.; Simon, F.: LISP 1.5 Programmierhandbuch, Univ. Kiel, Inst. f. Inform. u. Prakt. Math., Bericht 3/77, Kiel, Febr. 1977

\bibitem[KaS75]{KaS75} Kalhoff, B.; Simon, F.: Programmieren in LISP 1.5 - Benutzerhandbuch, Univ. Kiel, Inst. f. Inform. u. Prakt. Math., Bericht 2/75, Kiel, Juni 1975

\bibitem[KaL65]{KaL65} Kameny, L.; Levin, M.: LISP II Project, Memo 1The Internal Language, System Development Corp. (SDC), SD-97, Tech Memo TM-2260/002/00, Santa Monica, Calif., Feb. 19, 1965

\bibitem[Ka66]{Ka66} Kameny, S.L. LISP 2 Source Language Syntax. Specifications for Syntax Translator. Tech Memo 1966

\bibitem[KaHa65a]{KaHa65a} Kameny, S.L.; Hawkinson, L. LISP II Internal Storage Conventions. Tech Memo 1965

\bibitem[KaHa65]{KaHa65} Kameny, S.L.; Hawkinson, L. LISP II Intermediate Language. Tech Memo 1965

\bibitem[KaW66]{KaW66} Kameny, S.L.; Weissman, C.: The Q-32 LISP 1.5 Mod. 2.6 System, System Developm. Corp., TM-2337/103/00, Santa Monica, Calif., April 11, 1966

\bibitem[KHWBSBFA67]{KHWBSBFA67} Kameny, Stanley L.; Hawkinson, Lowell; Weissman, Clark; Barnett, Jeffrey A.; Saunders, Robert A.; Book, Erwin; Firth, Donna; Abrahams, Paul W. The Implementation of LISP 2. ??? 1967

\bibitem[Kan81]{Kan81} Kanada. Y.: A Note on the Optimization of Compiler Codes in LISP, Univ. of Tokyo, Computing Centre, Tokyo, ca. 1981

\bibitem[Kap67]{Kap67} Kaplan, D.M.: Correctness of a Compiler for ALGOL-Like Programs, Stanford Univ., Art. Intel. Project, Memo 48, Stanford, July 19, 1967

\bibitem[Kap68b]{Kap68b} Kaplan, D.M.; The Formal Theoretic Analysis of Strong Equivalence for Elemental Prorams, Stanf. Univ., CS Dep., Tech. Rep. CS 101, Memo AI-60, Stanford, 12 June 1968

\bibitem[Kap68a]{Kap68a} Kaplan, D.M.; A Formal Theory Concerning the Equivalence of Algorithms, Stanford Univ., Computer Science Dep., Memo AI-59, Stanford, 6 May 1968

\bibitem[KaS80]{KaS80} Kaplan, R.M.; Sheil, B.A.: Adding Type Declarations to InterLISP, Proc. IFIP 80, North Holland, 1980

\bibitem[KaS86]{KaS86} Karjalainen, M.; Seppaenen J.; Tamminen M. (Hg.) STeP-86 Invited Papers: AI and Philosophy (Vol. 1) Uni of Technology, Helsinki, Aug. 1986

\bibitem[KaS86]{KaS86} Karjalainen, M.; Seppaenen J.; Tamminen, M. (Hg.) STeP-86 Symposium Papers: Applications (Vol. 3) Uni of Technology, Helsinki, Aug. 1986

\bibitem[KaS86]{KaS86} Karjalainen,M.; Seppaenen J.; Tamminen M. (Hg.) STeP-86 Symposium Papers: Methodology (Vol. 2) Uni of Technology, Helsinki, Aug. 1986

\bibitem[Kay75]{Kay75} Kay, K.R.: Appendix - Utah Modifications Stanford Lisp/360 Ref. Manual, 4th Edition, Univ. of Utah, Computational Physics Group, January 1975

\bibitem[Ken67]{Ken67} Kent, J.G.: LISP 1.5 Implementation on the CD 3600 and the IBM System /360 Series, Norwegian Defence Research Establishment, Kjeller, Norway, 1967

\bibitem[Ken66]{Ken66} Kent, J.G.: Interpretative System for the Programming of Recursive Functions on a Digital Computer, LISP Implementation (LISP 3600: User's Manual, Part II), Norwegian Defence Research Establishment, Kjeller, Norway, 1966

\bibitem[KWR82]{KWR82} Kersten, M.L.; Wasserman, A.I.; Riet, R.P. van de: Troll Reference Manual, Vrije Univ. de Boelelaan, Amsterdam, Netherlands, and Univ. of California, San Francisco, 1 Dec. 1982

\bibitem[Kes79]{Kes79} Kessler, R.: PMETA - Pattern Matching META/REDUCE, Univ. of Utah, Computer Science Dep., USCG Operating Note No. 40, Jan. 1979

\bibitem[Kes84]{Kes84} Kessler, R.R.: PSL Update Report, Univ. of Utah, Comp. Science Dep., Utah Portable AI Support Systems Project, Salt Lake City, June 15, 1984

\bibitem[KSG86]{KSG86} Kessler, R.R; Shebs, S.T; Galway, W.F: A Portable CommonLISP Subset with High Performance Dept. of Computer Science, University of Utah, OPNOTE 86-01, Salt Lake City, Febr. 1986 (submitted to LISP-Conference 1986, not accepted)

\bibitem[KPCDKK86]{KPCDKK86} Kessler, R.R; Shebs, S.T; Galway, W.F: EPIC - A Retagetable Highly Optimizing LISP Compiler Proc. SIGPLAN 1986

\bibitem[Kli70]{Kli70} Kling, R.E.: SRI - Trace Package for PDP-10 LISP, Stanford Research Institute, AIG Technical Note 37, Stanford, September 1970

\bibitem[Kn75]{Kn75} Knight, T.: CONS AI Lab, MIT, Cambridge, 1975

\bibitem[Kni79b]{Kni79b} Knight, T.: ? LISP Machine Internal Storage Formats, LISP Machine Documentation LMDOC;FORMAT, Feb. 21, 1979

\bibitem[Kni79a]{Kni79a} Knight, T.: ? The LISP Machine Macro-Instruction Set, LISP Machine Documentation LMDOC;MACRO, Feb. 21, 1979

\bibitem[KoB73]{KoB73} Koffman, E.B.; Blount, S.E.: Artificial Intelligence and Automatic Programming in CAI, 3. IJCAI, 1973

\bibitem[KoH75]{KoH75} Koffman, E.B.; Hart, R.O.: A Semantically Based Fuzzy Grammar for a Natural Language LISP Tutor, 2nd US-Japan Computer Conference, 1975, pp. 243-247

\bibitem[KoM77]{KoM77} Kolar, J.; Mueller, K.: Specialni Programovaci Jazyky, Ceske Vysoke Uceni Technicke V Praze, Praha, 1977

\bibitem[KoM74]{KoM74} Kolar, J.; Mueller, K.: Programovaci Jazyk TESLA - LISP 1.5, (I. u. II. Teil), Praha, 1974

\bibitem[Ko85]{Ko85} Kolb, D.: InterLISP-D, Ein Werkzeug fuer Rapid Prototyping, Siemens AG, Muenchen, 1985

\bibitem[Ko81]{Ko81} Komorowski, H.J. QLOG - The Programming Environment for PROLOG in LISP. Linkoeping Univ., Softw. Systems Res. Center, Linkoeping, 1981 pp. 315-322

\bibitem[Kom79]{Kom79} Komorowski, H.J.: QLOG Interactive Environment - the Experience from Embedding a Generalized Prolog in InterLISP, Linkoeping Univ., Informatics Lab., LiTH-MAT-R-79-19, Linkoeping, Aug. 1979

\bibitem[KoG81]{KoG81} Komorowski, H.J.; Goodwin, J.W. Embedding PROLOG in LISP: An Example of a LISP Craft Technique. Linkoeping Univ., Res. Rep. LITH-MAT-R-1981-2, Linkoeping, March 1981

\bibitem[Kor80]{Kor80} Kornfeld, W.A.: A Synthesis of Language Ideas for AI Control Structures, M.I.T., A.I. Lab., Working Paper 201, Cambridge, 1980

\bibitem[Kor79b]{Kor79b} Kornfeld, W.A.: Using Parallel Processing for Problem Solving, M.I.T., A.I. Lab., A.I.MEMO 561, Cambridge, 1979

\bibitem[Kor79a]{Kor79a} Kornfeld, W.A.: Pattern-Directed Invocation Languages, Byte, Vol. 4, No. 8, Aug. 1979, pp. 34-48

\bibitem[Kor65]{Kor65} Korsvold, K.: An ON LINE Algebraic Simplify Program, Stanford Univ., Art. Intel. Project, Memo No. 37, Stanford, Nov. 10, 1965

\bibitem[Kot80]{Kot80} Koton, P.A.: Simulating a Semantic Network in LMS, M.I.T., A.I. Lab., Working Paper 206, Cambridge, 1980

\bibitem[Kot81]{Kot81} Koton, P.E.: Representing Constraint Systems with Omega, M.I.T., A.I. Lab., Working Paper 222, Cambridge, 1981

\bibitem[KLS75]{KLS75} Krause, D.; Laubsch, J.; Schatz, W.: MACLISP - Sprachbeschreibung, Univ. Stuttgart, Inst. f. Informatik, CUU-Memo 2, Stuttgart, 1975

\bibitem[Kro81]{Kro81} Kroeger, H. Ein verallgemeinertes Label-Konzept in LISP, seine Interpretation und Uebersetzung. Univ. Kiel, Inst. f. Inform. u. Math., Bericht Nr. 8102, Kiel, Feb. 1981

\bibitem[Kro80]{Kro80} Kroeger, H. Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer. Univ. Kiel, Inst. f. Informatik u. Math., Bericht Nr. 8102, Kiel, Feb. 1981

\bibitem[Kui75]{Kui75} Kuipers, B.J.: A Frame for Frames: Representing Knowledge for Recognition, M.I.T., A.I. Lab., A.I.MEMO 322, Cambridge, 1975

\bibitem[Kur81]{Kur81} Kurokawa, T.: A New Fast and Safe Marking Algorithm, Software-Practice and Experience, Vol. 11., pp. 671-682 (1981)

\bibitem[Kur80]{Kur80} Kurokawa, T.: LISP in Japan - From Past to Future, Electrotechnical Lab., Tokyo, 1980

\bibitem[Kur79e]{Kur79e} Kurokawa, T.: LISP 1.9 Compiler, Feb. 1979

\bibitem[Kur79d]{Kur79d} Kurokawa, T.: The Function Class, Draft, Electrotechn. Lab., Tokyo, 1979

\bibitem[Kur79c]{Kur79c} Kurokawa, T.: A New Fast and Safe Marking Algorithm, Software - Practice \& Eperience, Vol. 11 (1981), pp. 671-682

\bibitem[Kur79b]{Kur79b} Kurokawa, T.: Fast Interpreter of LISP 1.9, Journal of Information Processing, Vol. 2, No. 2, July 1979, pp. 81-88

\bibitem[Kur79a]{Kur79a} Kurokawa, T.: LISP Activities in Japan, Information Systems Lab., Toshiba R \& D Center, Kawasaki, Japan, ca. 1979

\bibitem[Kur78b]{Kur78b} Kurokawa, T.: Input/Output Facilities in LISP 1.9, Toshiba Research and Development Center, Kawasaki, Japan and Software- -Practice and Experience, Vol. 8, 1978, pp. 277-284

\bibitem[Kur78a]{Kur78a} Kurokawa, T.: Input/Output Facilities in LISP 1.9, Draft, 1978

\bibitem[Kur76c]{Kur76c} Kurokawa, T.: Why is the LISP 1.9 Inerpreter so Fast ?, Information Systems Lab., Toshiba R \& D Center, Kawasaki, Japan, ca. 1976

\bibitem[Kur76e]{Kur76e} Kurokawa, T.; LISP 1.9 Programming System, Journal (?), IPSJ, Vol. 17 (1976), No. 11, pp. 1056-1063

\bibitem[Kur76d]{Kur76d} Kurokawa, T.; Comparism with MACLISP, Electrotech. Lab., Manuscript, ca. 1976

\bibitem[Kur76b]{Kur76b} Kurokawa, T.; Data Representations of LISP with an Experience on TOSBAC-5600 LISP, Journal (?) IPSJ, Vol. 17 (1976), No. 2, pp. 127-132

\bibitem[Kur76a]{Kur76a} Kurokawa, T.; LISP User's Manual, .... EPICS-5-ON-2, Mar. 31, 1976

\bibitem[Ku75]{Ku75} Kurotschkin, W.M. (ed.): Obrabotka Simwolnoi Informazii, Academy of Sciences of the USSR, Computer Center, 1975

\bibitem[KwD75]{KwD75} Kweselawa, D.A., Dekanosidse, E.N.: Woproci wytschislitenoi Matematiki i Programmirowania Isdatelstwo Mezniereba, Tbilissi, 1975

\bibitem[Lau83]{Lau83} Laubsch, J. H. LISP-Maschinen. Computer Magazin 7/8 1983 pp. 50-53

\bibitem[Lau83]{Lau83} Laubsch, J.: Advanced LISP Programming, (Preprint aus Artificial Intelligence, 1984), Univ. Stuttgart, Stuttgart, 1983

\bibitem[Lau82b]{Lau82b} Laubsch, J.: Programmiermethoden in der Kuenstlichen Intelligenz Forschung, Univ. Stuttgart, Stuttgart, Januar 1982

\bibitem[Lau82a]{Lau82a} Laubsch, J.: LISP Programming Techniques, (Draft), Univ. Stuttgart, Inst. f. Informatik, Stuttgart, Oktober 1982

\bibitem[LFB79]{LFB79} Laubsch, J.; Fischer, G.; Bocker, H.D.: LISP Based Systems for Education, BYTE, Vol. 4, No. 8, August 1979, pp. 18-24

\bibitem[LaH85]{LaH85} Laubsch, J.H.; Hedrick, C.: Common LISP and Lexical Bindings, Report of Meeting about Common LISP, Univ. Stuttgart, Mails, Stuttgart, Feb. 1985

\bibitem[LHR77]{LHR77} Laubsch, J.H.; Hess, K.; Rathke, C.: Erweiterungen MACLISP, Univ. Stuttgart, Inst. f. Informatik, CUU-Memo-8., Stuttgart, Dez. 1977

\bibitem[LKHS76]{LKHS76} Laubsch, J.H.; Krause, D.; Hess, K.; Schatz, W.: MACLISP Manual, (deutsch), Univ. Stuttgart, Institut f. Informatik, CUU-Memo-3, Stuttgart, Mai 1976

\bibitem[La73]{La73} Lawrow, S.S. (ed.): Obrabotka Simwolnoi Informazii, Academy of Sciences of the USSR, Computer Center, 1973

\bibitem[LaS69]{LaS69} Lawrow, S.S.; Silagadse, G.S.: Wchodnoi Jasyk i Interpretator Sistemy Programmirowanija na Base Jasyka LISP dlja Maschiny BESM-6, Akademija Nauk SSSR, Moskau, 1969

\bibitem[Fai77]{Fai77} LeFaivre, R.: Rutgers/UCI LISP Manual, Rutgers Univ., Computer Science Dep., April 24, 1977

\bibitem[Leb80]{Leb80} Lebling, P.D.: The MDL Programming Environment, M.I.T., Computer Science Lab., MIT/LCS, Cambridge, Mass., May 1980

\bibitem[Len76]{Len76} Lenat, D.B.: AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search, Stanf. Univ., Comp. Sc. Dep., STAN-CS-76-570, AIM-286, Stanford, July 1976

\bibitem[Le74]{Le74} Leppert, M.: LISP - Sstem fuer den TR440, TU Muenchen, Abteilung Informatik, Muenchen, 1974

\bibitem[Lev65e]{Lev65e} Levin, M.: LISP II Memo 13: Programming Examples, Information International, Inc., Cambridge, Mass., August 23, 1965

\bibitem[Lev65d]{Lev65d} Levin, M.: LISP II Project, Memo 7, Information International, Inc., Cambridge, Mass., 1965

\bibitem[Lev65c]{Lev65c} Levin, M.: LISP II Project, Memo 1B: Corrections to Memo 1A, Information International, Inc., Cambridge, Mass., March 8, 1965

\bibitem[Lev65b]{Lev65b} Levin, M.: LISP II Project, Memo 4: LAP, System Development Corp. (SDC), SD-97, Tech Memo TM-2260/001/00, Santa Monica, Calif., Feb. 19, 1965

\bibitem[Lev65a]{Lev65a} Levin, M.: LISP II Project, Functional Arguments, System Development Corp. (SDC), SD-97, Tech Memo TM-2260/000/00, Santa Monica, Calif., Feb. 18, 1965

\bibitem[Lev64c]{Lev64c} Levin, M.: Proposed Instructions on the GE 635 for List Processing and Push Down Stacks, M.I.T., Proj. MAC, MAC-M-183, A.I. Project, A.I.MEMO 72, Cambridge, 1964

\bibitem[Lev64b]{Lev64b} Levin, M.: New Language Storage Conventions, M.I.T., Proj. MAC, MAC-M-159, A.I. Project, A.I.MEMO 69, Cambridge, 1964

\bibitem[Lev64a]{Lev64a} Levin, M.: Syntax of the New Language, M.I.T., Proj. MAC, MAC-M-158, A.I. Project, A.I.MEMO 68, Cambridge, 1964

\bibitem[Lev63b]{Lev63b} Levin, M.: LISP Problem 1 and Correction to LISP Problem 1, LISP Problem 2, Massachusetts Inst. of Technology, Cambridge, November 27, 1963

\bibitem[Lev63a]{Lev63a} Levin, M.: Primitive Recursion, M.I.T., A.I. Project, A.I.MEMO 55, Cambridge, 11 July 1963

\bibitem[Lev61c]{Lev61c} Levin, M.: LISP 1.5 Programmer's Manual, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 28, Cambridge, 1961

\bibitem[Lev61b]{Lev61b} Levin, M.: Errorset, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 26, Cambridge, 1961

\bibitem[Lev61a]{Lev61a} Levin, M.: Arithmetic in LISP 1.5, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 24, Cambridge, 1961

\bibitem[LeB81]{LeB81} Levitan, S.P.; Bonar, J.G.: Three Microcomputer LISP's, BYTE, Sep. 1981

\bibitem[Lew76]{Lew76} Lewis, E.: An Introduction to ITS for the MACSYMA User, M.I.T., Mathlab. Memo \#3, Cambridge, Mass., April 28, 1976

\bibitem[Lie82]{Lie82} Lieberman, H.: Seeing What Your Programs are Doing, M.I.T., A.I. Lab., A.I.MEMO 656, Cambridge, 1982

\bibitem[Lie81c]{Lie81c} Lieberman, H.: Logo Turtle Graphics for the LISP Machine, M.I.T., A.I. Lab., Working Paper 214, Cambridge, 1981

\bibitem[Lie81b]{Lie81b} Lieberman, H.: Thinking about Lots of Things at once Without Getting Confused Parallelism in Act 1, M.I.T., A.I. Lab., A.I.MEMO 626, Cambridge, 1981

\bibitem[Lie81a]{Lie81a} Lieberman, H.: A Preview of Act 1, M.I.T., A.I. Lab., A.I.MEMO 625, Cambridge, 1981

\bibitem[Lie76]{Lie76} Lieberman, H.: The TV Turtle, A Logo Graphics System for Raster Displays, M.I.T., A.I. Lab., Logo Memo 25, A.I.MEMO 361, Cambridge, 1976

\bibitem[LiH81]{LiH81} Lieberman, H.; Hewitt, C.: A Real Time Garbage Collector Based on the Lifetimes of Objects, M.I.T., A.I. Lab., A.I.MEMO 569A, Cambridge, 1981

\bibitem[LiH80b]{LiH80b} Lieberman, H.; Hewitt, C.: A Session with TINKER: Interleaving Program Testing with Program Design, M.I.T., A.I. Lab., A.I.MEMO 577, Cambridge, 1980

\bibitem[LiH80a]{LiH80a} Lieberman, H.; Hewitt, C.: A Real Time Garbage Collector That Can Recover Temporary Storage Quickly, M.I.T., A.I. Lab., A.I.MEMO 569, Cambridge, 1980

\bibitem[LiFr86]{LiFr86} Lieberman, Henry; Fry, Christopher Common EVAL. Artificial Intelligence Laboratory MIT 1986

\bibitem[App85b]{App85b} Lisp Machine Inc. Applied Intelligence Vol. 2, Number 3 Special IJCAI-85 Issue ???

\bibitem[App85]{App85} Lisp Machine Inc. Applied Intelligence Vol. 2, Number 2 July, 1985 ???

\bibitem[LoR64]{LoR64} Lombardi, L.A.; Rapael, B.: LISP as the Language for an Incremental Computer, Mass. Inst. of Technology, Project MAC, MAC-M-142, Cambridge, March 2, 1964

\bibitem[Lon72]{Lon72} London, R.L.: Correctness of a Compiler for a LISP SUBSET, SIGPLAN Notices, January 1972

\bibitem[Lon71]{Lon71} London, R.L.: Correctness of Two Compilers for a LISP Suset, Stanf. Univ., A.I. Proj., AIM-151, CS Dep., Rep. CS 240, Stanford, Oct. 1971

\bibitem[Lon67]{Lon67} Long, Robert E. LISP 2 Storage Managemen Paging of Binary Programs. Tech Memo 1967

\bibitem[Low80]{Low80} Lowney, P.G.: Technical Correspondence: On Iverson's Operators, ACM Transactions on Progr. Lang. Syst., Vol. 2, No. 2, April 1980

\bibitem[LGH79]{LGH79} Luckham, D.C.; German, S.M.; Henke, F.W. v.; Karp, R.A.; Milne, P.W.; Oppen, D.C.; Polak, W.; Scherlis, W.L.; (=Stanford Verification Group): Stanford PASCAL Verifier User Manual, Stanford Univ., Comp. Sc. Dep., STAN-CS-79-731, March 1979, Stanf. Verification Group, Rep. No. 11, Edition 1, 2nd Printing March 1980

\bibitem[Lur71]{Lur71} Lurie, D.: Introduction to LISP, Dep. of Physics, Technion-Israel Institute of Technology, Cern - Data Handling Division DD/71/12, Haifa, Israel, Sept. 1971

\bibitem[Lux78]{Lux78} Lux, A.: LISP - IRIS - 80: Manuel d'Utilisation, Univ. de Grenoble, Mathematiques Appl. et Informatique, Grenoble, Fev. 1978

\bibitem[Lux75b]{Lux75b} Lux, A.: Implementing LISP Using an Abstract Machine, FCIP 75, Bled, 1975

\bibitem[Lux75a]{Lux75a} Lux, A.: Etude d'un Modele Abstrait pour une Machine LISP et de son Implantation, These de 3* Cycle, Grenoble, 19 Mas 1975

\bibitem[Lux73]{Lux73} Lux, A.: LISP sous CMS, IMAG, Grenoble, 1973

\bibitem[Mu86]{Mu86} M\"uller, Dieter Eine elementare Einf\"uhrung in die Programmierung nichtnumerischer Aufgaben. Mannheim 1986

\bibitem[MaS74]{MaS74} Magidin, M.; Segovia, R.: Implementation of LISP 1.6 on the B-6700 Computer, University of Mexico, Centro de Investigacion en Matematicas Aplicadas y en Sistemas, Com. Tecnicas, Vol. V, No. 70, April 14, 1974

\bibitem[MaMW84]{MaMW84} Malachi, Y.; Manna, Z.; Waldinger, R. TABLOG: The Deductive-Tableau Programming Language. ACM Symp. LISP \& FP, 1984, pp. 323-330

\bibitem[Mal59b]{Mal59b} Maling, K.: The Maling-Silver Read Program, M.I.T., A.I. Proj., RLE and MIT Comp. Center, Symbol Manipulating Language, A.I.MEMO 13, Cambridge, May/June 1959

\bibitem[Mal59a]{Mal59a} Maling, K.: The LISP Differentiation Demonstration Program, M.I.T., A.I. Proj., RLE and MIT Comp. C., A.I.MEMO 10, Cambridge, March 1959

\bibitem[Mal81]{Mal81} Maluszynski, J.: Towards a Programming Language Based on the Notion of Two-Level Grammar, Linkoeping Univ., Linkoeping, Sweden, 1981

\bibitem[Man85]{Man85} Manuel, T.: The Pell-Mell Rush Into Expert Systems Forces Integration Issue, Electronics, July 1985, pp. 54-59

\bibitem[Mar80]{Mar80} Marshall, M.: LISP Computers Go Commercial, Electronics, Nov. 20, 1980

\bibitem[MHGG83]{MHGG83} Marti, J.; Hearn, A.C.; Griss, M.L.; Griss, C.: Standard LISP Report, SIGPLAN Ntices, 1983, pp. 48-68

\bibitem[Mar82]{Mar82} Marti, J.B.: An Optimizing Compiler for LISP for the Z80, Univ. of Oregon, Dep. of Comp. and Inf. Sc., CIS-TR-82-02, Eugene, April 1982

\bibitem[Mar81b]{Mar81b} Marti, J.B.: LISP for the TRS-80, Dept. of Computer and Information Sciences, CIS-TR-81-9, Univ. of Oregon, Eugene, 1981

\bibitem[Mr80]{Mr80} Marti, J.B.: Little Big LISP, (Draft), University of Utah, Utah Symbolic Computation Group, Operating Note No. 46, Salt Lake City, Aug. 1980

\bibitem[MHG78]{MHG78} Marti, J.B.; Hearn, A.C.; Griss, M.L.; Griss, C.: Standard LISP Report, Univ. of Utah, UT 84112, UUCS-78-101, UCP-60, Salt Lake City, Jan. 1978

\bibitem[Mar81c]{Mar81c} Marti, J.B: Little Big LISP, Dept. of Computer and Information Sciences, CIS-TR-80-18, Univ. of Oregon, Eugene, May 1981

\bibitem[Mar81a]{Mar81a} Marti, J.B: Little Big LISP for the TRS-80, Installation Guide, Dept. of Computer and Information Sciences, CIS-TR-81-5, Univ. of Oregon, Eugene, June 1981

\bibitem[MaH64]{MaH64} Martin, W.; Hart, T.: Revised User's Version, Time Sharing LISP, Massachusetts Inst. of Technology, Project MAC, MAC-M-153 (Revised), Artificial Intelligence Project, A.I.MEMO 67 (Revised), Cambridge, 1964

\bibitem[MaS81 (o. 80)]{MaS81 (o. 80)} Martin, W.A. ; Szolovits, P. Semantic Networks in LISP: Fundamental Concepts, and a Specific Implementation. M.I.T., CS Lab., Draft, Cambridge, 25.Jan. 1981 (o. 1980)

\bibitem[Mar65d]{Mar65d} Martin, W.A.: Syntax and Display of Mathematical Expressions, M.I.T., Proj. MAC, MAC-M-257, A.I. Project, A.I.MEMO 85, Cambridge, 1965

\bibitem[Mar65c]{Mar65c} Martin, W.A.: A Version of LISP for the PDP-6, DECUS Proceedings 1965

\bibitem[Mar65b]{Mar65b} Martin, W.A.: PDP-6 LISP Input-Output for the Display, M.I.T., Proj. MAC, MAC-M-242, A.I. Project, A.I.MEMO 80, Cambridge, 1965

\bibitem[Mar65a]{Mar65a} Martin, W.A.: PDP-6 LISP Input-Output for the Dataphone, M.I.T., Proj. MAC, MAC-M-241, A.I. Project, A.I.MEMO 79, Cambridge, 1965

\bibitem[MaM70]{MaM70} Martin, W.A.; Moses, J.: Mathlab (MACSYMA), M.I.T., MAC-Progress Report V, July 1969 to July 1970, Cambridge, 1970

\bibitem[Mas81]{Mas81} Masinter, L.; InterLISP-VAX: A Report, Xerox Parc, Palo Alto, 1 Aug. 1981, and Stanf. Univ., Comp. Sc. Dep., STAN-CS-81-879, HPP-81-14, Stanford, Aug. 1981

\bibitem[Mas80]{Mas80} Masinter, L.M.: Global Program Analysis in an Interactive Environment, Xerox PARC, SSL-80-1, Palo Alto, Jan. 1980

\bibitem[MaG77]{MaG77} Mathlab Group: MACSYMA Reference Manual, Version 9, M.I.T., Lab. for Computer Science, Cambridge, Mass., Dec. 1977

\bibitem[MAT75]{MAT75} Mathlab Group: MACSYMA Primer, M.I.T., Project MAC, Cambridge, Mass., Oct. 29, 1975

\bibitem[McA80]{McA80} McAllester, D.A.: The Use Equality in Deduction and Knowledge Representation, M.I.T., Artificial Intelligence Lab., AI-TR-550, Cambridge, Mass., Jan. 1980

\bibitem[Mc84]{Mc84} McCabe, F.G.: The Sigma Machine ? (Imperial College, London), Oct. 1984

\bibitem[McC82]{McC82} McCarthy, J.: Coloring Maps and the Kowalski Doctrine, Stanf. Univ., Comp. Sc. Dep., STAN-CS-82-903, AIM-346, Stanford, April 1982

\bibitem[Mc81]{Mc81} McCarthy, J. History of LISP in: Wexelblatt, Richard L., History of Programming Languages. New York: Academic Press 1981

\bibitem[McC80]{McC80} McCarthy, J.: LISP - Noes on its Past and Future, Stanford Univ., File LISP[E80,JMC], Stanford, Aug. 18, 1981

\bibitem[McC78]{McC78} McCarthy, J.: History of LISP, SIGPLAN Notices, Vol. 13, No. 8, Aug. 1978

\bibitem[McC77c]{McC77c} McCarthy, J.: First Order Theories of Individual Concepts and Propositions, (Draft), Stanf. Univ., CS Dep., AIM-325, (STAN-CS-79-724), Stanford, April 15, 1977

\bibitem[McC77b]{McC77b} McCarthy, J.: History of LISP, Stanford Univ., Art. Int. Lab., Manuscript, Stanford, 1977

\bibitem[McC77a]{McC77a} McCarthy, J.: Recursive Programming in LISP, Stanford Univ., Stanford, March 23, 1977

\bibitem[McC74]{McC74} McCarthy, J.: Talk on LISP-History, M.I.T., 1974, M.I.T., Manuscript (of a Recording, July 10, 1975), Cambridge, 1974

\bibitem[McC65c]{McC65c} McCarthy, J.: Plans for the Stanford Artificial Intelligence Project, Stanford Univ., Art. Intel. Project, Memo 31, Stanford, April 20, 1965

\bibitem[McC65b]{McC65b} McCarthy, J.: Problems in the Theory of Computation, Stanford Univ., Art. Intel. Project, Memo 28, Stanford, March 11, 1965

\bibitem[McC65a]{McC65a} McCarthy, J.: A Proof-Checker for Predicate Calculus, Stanford Univ., Art. Intel. Project, Memo 27, Stanford, March 3, 1965

\bibitem[McC64c]{McC64c} McCarthy, J.: A Formal Description of a Subset of ALGOL, Stanford Univ., Art. Intel. Project, Memo No. 24, Stanford, Sep. 24, 1964

\bibitem[McC64b]{McC64b} McCarthy, J.: Formal Description of the Game of Pang-Ke, Stanford Univ., Art. Intel. Project, Memo No. 17, Stanford, July 20, 1964

\bibitem[McC64a]{McC64a} McCarthy, J.: Computer Control of a Machine for Exploring Mars, Stanford Univ., Art. Intel. Project, Memo No. 14, Stanford, June 15, 1964

\bibitem[McC63c]{McC63c} McCarthy, J.: Storage Conventions in LISP 2, Stanf. Univ., A.I. Project, Memo No. 8 (Preliminary), Stanford, Sep. 26, 1963

\bibitem[McC62e]{McC62e} McCarthy, J.: Towards a Mathematical Science of Computation, Proceedings IFIP 1962

\bibitem[McC62d]{McC62d} McCarthy, J.: Time-Sharing Computer Systems, Martin Greenberger (Ed.): Computers and the World of the Future, MIT Press, Cambridge, 1962, pp. 225-231

\bibitem[McC62c]{McC62c} McCarthy, J.: Computer Programs for Checking Mathematical Proofs, Proceedings of Symposia in Pure Mathem., Vol. 5, AMS, Providence, 1962

\bibitem[McC62b]{McC62b} McCarthy, J.: A New Eval Function, M.I.T., A.I. Project, A.I.MEMO 34, Cambridge, 1962

\bibitem[McC62a]{McC62a} McCarthy, J.: On Efficient Ways of Evaluating Certain Recursive Functions, M.I.T., A.I. Project, A.I.MEMO 32, Cambridge, 1962

\bibitem[McC60e]{McC60e} McCarthy, J.: Puzzle Solving Program in LISP, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 20, Cambridge, 1960

\bibitem[McC60d]{McC60d} McCarthy, J.: Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I, Communications of the ACM, Vol. 3, No. 3, 1960, pp. 184-195

\bibitem[McC59q]{McC59q} McCarthy, J.: SML - Examples of Proofs by Recursion Induction, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 15, Cambridge, 1959

\bibitem[McC59p]{McC59p} McCarthy, J.: SML - The Wang Algorithm for the Proposition Calculus Programmed in LISP, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 14, Cambridge, 1959

\bibitem[McC59o]{McC59o} McCarthy, J.: LISP: A Programming System for Symbolic Manipulations, Extended Abstract, ACM Annual Meeting, Cambridge, September 1959

\bibitem[McC59n]{McC59n} McCarthy, J.: Can a Machine Think ?, McCarthy, John, M.I.T., (Short Journal Article), Cambridge, 1959

\bibitem[McC59m]{McC59m} McCarthy, J.: Letter to the Editor, Communications of the ACM, Vol. 2 No. 8, August 1959, pp. 2-3

\bibitem[McC59l]{McC59l} McCarthy, J.: Artificial Intelligence, Massachusetts Inst. of Technology, A.I. Group, Cambridge, Summer 1959

\bibitem[McC59k]{McC59k} McCarthy, J.: Programs in LISP, M.I.T. A.I. Proj., RLE and MIT Comp. Cent., A.I.MEMO 12, Cambridge, May 1959

\bibitem[McC59j]{McC59j} McCarthy, J.: The Form of Programs in the System, Manuscript, 1959 ?

\bibitem[McC59i]{McC59i} McCarthy, J.: Memo LISP Program for INST., Massachusetts Inst. of Technology, Cambridge, 1959

\bibitem[McC59h]{McC59h} McCarthy, J.: Artificial Intelligence, M.I.T., Electr. Res. Lab., Quart. Prog. Rep. 53, Cambridge, 15 April 1959

\bibitem[McC59g]{McC59g} McCarthy, J.: Recursive Functions of Symbolic Expressions and their Computation by Machine, Reprint from: Quarterly Progress Report No. 53, Mass. Inst. of Techn., esearch Lab. of Electronics, Cambridge, 15 April 1959

\bibitem[McC59f]{McC59f} McCarthy, J.: Recursive Functions of Symbolic Expressions and Their Computation by Machine, M.I.T., A.I. Proj., RLE and MIT C.C., A.I.MEMO 11, Cambridge, 30 March 1959

\bibitem[McC59e]{McC59e} McCarthy, J.: An Error in Memo 8: ecursive Functions of Symbolic Expressions and their Computation by Machine, M.I.T., A.I. Proj., RLE and MIT C.C., A.I.MEMO 8, Cambridge, 13 March 1959

\bibitem[McC59d]{McC59d} McCarthy, J.: Recursive Functions of Symbolic Expressions and their Computation by Machine, M.I.T., A.I. Proj., RLE and MIT Comp. C., A.I.MEMO 8, Cambridge, 4 March 1959

\bibitem[McC59c]{McC59c} McCarthy, J.: Notes on the Compiler, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 7, Cambridge, 1959

\bibitem[McC59b]{McC59b} McCarthy, J.: On Operator Systems, Mass. Inst. of Technology, Computation Center, Cambridge, Feb. 16, 1959

\bibitem[McC59a]{McC59a} McCarthy, J.: A Time Sharing Operator Program for our Projected IBM 709, Letter to the Director of the Comp. Center of M.I.T, Cambridge, 1 Jan. 1959

\bibitem[McC58l]{McC58l} McCarthy, J.: Programs with Common Sense, Symposium on the Mechanization and Thought Processes, Nat. Phys. Lab., Teddington (England), 24-27 Nov. 1958

\bibitem[McC58k]{McC58k} McCarthy, J.: Notes on Debugging LISP Subroutines, Handwritten Manuscript, ca. November 1958

\bibitem[McC58j]{McC58j} McCarthy, J.: Notes on Debugging LISP Subroutines, Manuscript

\bibitem[McC58i]{McC58i} McCarthy, J.: The Form of Programs in the System, Manuscript, 1958

\bibitem[McC58h]{McC58h} McCarthy, J.: Additional Functions, Handwritten Manuscript f. AIM 5

\bibitem[McC58g]{McC58g} McCarthy, J.: Symbol Manipulating Language--Revisions of the Language, M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 4, Cambridge, 1958

\bibitem[McC58f]{McC58f} McCarthy, J.: Symbol Manipulating Language--Revisions of the Language, M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 3, Cambridge, 1958

\bibitem[McC58e]{McC58e} McCarthy, J.: Symbol Manipulating Language, A Revised Version of "MAPLIST", M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 2, Cambridge, 1958

\bibitem[McC58d]{McC58d} McCarthy, J.: An Algebraic Language for the Manipulation of Symbolic Expressions, M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 1, Cambridge, 1958

\bibitem[McC58c]{McC58c} McCarthy, J.: An Algebraic Language for the Manipulation of Symbolic Expressions, (Draft), Massachusetts Inst. of Technology, AIM 1, Cambrdge, 1958

\bibitem[McC58b]{McC58b} McCarthy, J.: Some Proposals for the Volume 2 (V2) Language, Letter to A.J. Perlis and W. Turanski

\bibitem[McC58a]{McC58a} McCarthy, J.: Automatic Programming, q M.I.T., (Semi-Annual) Progr. Rep. 2 of the Research \& Educational Activities in Machine Comp. by the Coop. Colleges of New England, Cambridge, Jan. 1958

\bibitem[McC57e]{McC57e} McCarthy, J.: A Proposal for a Compiler, M.I.T., Computation Center, CC-56, Cambridge, December 13, 1957

\bibitem[McC57d]{McC57d} McCarthy, J.: Suggestions for Fundamental Research in Letter Recognition, IBM Research Report, IR-00108, April 29, 1957

\bibitem[McC57c]{McC57c} McCarthy, J.: Mathematics and the Programming of Digital Calculators, Manuscript, ca. 1957

\bibitem[McC57b]{McC57b} McCarthy, J.: The Artificial Intelligence Problem and the Natural Intelligence Problem, Manuscript, ca. 1957

\bibitem[McC57a]{McC57a} McCarthy, J.: The Programming Problem, (Handwritten), Manuscript, ca. 1957

\bibitem[McC55]{McC55} McCarthy, J.: List of People Interested in the Artificial Intelligence Problem. Manuscript, ca. 1955

\bibitem[McC69]{McC69} McCarthy, J.; A.I. Project Staff: Project Technical Report, Stanford Art. Intel. Project, Memo AI-87, Stanford, 1969

\bibitem[MAE65b]{MAE65b} McCarthy, J.; Abrahams, P.W.; Edwards, D.J.; Hart. T.P.; Levin, M.I.: Functions and Constants in the LISP System, M.I.T., RLE and MIT Computation Center, Cambridge, 1965

\bibitem[MAE65a]{MAE65a} McCarthy, J.; Abrahams, P.W.; Edwards, D.J.; Hart. T.P.; Levin, M.I.: LISP 1.5 Programmer's Manual, M.I.T., RLE and MIT Computation Center, Cambridge, Aug. 1965 (x. Ed.)

\bibitem[McFL70]{McFL70} McCarthy, J.; Art. Int. Project Staff; Feigenbaum, E.; Lederberg J,: Project Technical Report, Stanford University, Art. Int. Project, Memo AIM-117, Stanford, April 1970

\bibitem[McFS68]{McFS68} McCarthy, J.; Feigenbaum, E.; Samuel, A.: Project Technical Report, Stanf. Univ., Art. Intelligence Project, Memo AI-69, Stanford, 13 Sep. 1968

\bibitem[McCH68]{McCH68} McCarthy, J.; Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence, Stanford Univ., Art. Intel. Project, Memo AI-73, Stanford, 4 Nov. 1968

\bibitem[McMR59]{McMR59} McCarthy, J.; Maling, K.; Russell, S.; Rochester, N.; Goldberg, S.; Slagle, J.: LISP Programmer's Manual, Modifications 1-12, 13-20, 21-26, Mass. Inst. of Technology, Art. Intelligence Project, Cambridge, March 1959

\bibitem[McMe58]{McMe58} McCarthy, J.; Merwin, M.: Routines for Turning FORTRAN Program into FORTRAN Functions, Mass. Inst. of Techn., Computation Center, CC-58 ?, Cambridge, 3 January 1958

\bibitem[McMi62]{McMi62} McCarthy, J.; Minsky, M.L.: Artificial Intelligence, Massachusetts Inst. of Techn., Research Laboratory of Electronics, Quarterly Progress Report No. 64, Cambridge, January 15, 1962

\bibitem[McMi59]{McMi59} McCarthy, J.; Minsky, M.L.: Artificial Intelligence, M.I.T., Res. Lab. of Electronics, Quart. Prog. Rep. 52, Cambridge, Jan. 1959

\bibitem[McMi59b]{McMi59b} McCarthy, J.; Minsky, M.L.: Progress Report in Machine Computation, M.I.T., Semi-Annual Prog. Rep. No. 5 of the Research \& Educational Activities in Machine Comput. by the Coop. Colleges of New England, Cambridge, July 1959

\bibitem[McMi58b]{McMi58b} McCarthy, J.; Minsky, M.L.: Artifical Intelligence, M.I.T., Computation Center, Semi-Annual Report No. 4, Cambridge, Dec. 1958

\bibitem[McMi58a]{McMi58a} McCarthy, J.; Minsky, M.L.: Artifical Intelligence, M.I.T., Computation Center, Semi-Annual Report No. 3, Cambridge, June 1958

\bibitem[McMRS55]{McMRS55} McCarthy, J.; Minsky, M.L.; Rochester, N.; Shannon, C.E.: A Proposal for the Dartmouth Summer Research Project on Art. Intelligence. Manuscript, August 31, 1955

\bibitem[McP66]{McP66} McCarthy, J.; Painter, J.: Correctness of a Compiler for Arithmetic-Expressions, Stanf. Univ., CS Dep., Tech. Rep. CS 38, A.I.MEMO 40, Stanford, 29 Apr. 1966

\bibitem[McRE59]{McRE59} McCarthy, J.; Russell, S.R.; Edwards, D.; etc.: LISP Programmers Manual, (Handwritten Draft + Machine Typed), Massachusetts Inst. of Technology, Cambridge, Nov. 1959

\bibitem[McT80]{McT80} McCarthy, J.; Talcott, C.: LISP Programming and Proving (Contents only), Stanford Univ., Stanford, Sep 15, 1980

\bibitem[McCT78]{McCT78} McCarthy, J.; Talcott, C.: LISP Programming and Proving, Stanford Univ., Stanford, March 21, 1978

\bibitem[McC63b]{McC63b} McCarthy, J.; et al.: Corrections to LISP 1.5 Manual, Mass. Inst. of Techn., RLE and MIT Computation Center, Cambridge, 1963 ?

\bibitem[McC63a]{McC63a} McCarthy, J.; et al.: LISP 1.5 Programmer's Manual, Errata, Mass. Inst. of Techn., RLE and MIT Computation Center, Cambridge, July 1963

\bibitem[McC61]{McC61} McCarthy, J.; et al.: LISP 1.5, Programmer's Manual, M.I.T., A.I. Proj., RLE and MIT Comp. Center, Cambridge, July 14, 1961

\bibitem[McC60c]{McC60c} McCarthy, J.; et al.: Artificial Intelligence, M.I.T., Res. Lab. for Electr., Quarterly Rep. No. 56, Cambridge, 15 Jan. 1960

\bibitem[McC60b]{McC60b} McCarthy, J.; et al.: LISP I, Programmer's Manual, M.I.T., A.I. Proj., RLE and MIT Comp. Center, Cambridge, March 1, 1960

\bibitem[McC60a]{McC60a} McCarthy, J.; et al.: LISP, Preliminary Programmer's Manual - Draft, M.I.T., A.I. Proj., RLE and MIT Comp. Center, Cambridge, January 7, 1960

\bibitem[McCAEHL62]{McCAEHL62} McCarthy, John; Abrahams, Paul W.; Edwards, Daniel J.; Hart, Timothy J.; Levin, Michael I. The LISP 1.5 Programmer's Manuel. Cambridge, MMIT Press, 1962

\bibitem[McD74]{McD74} McDermott, D.: Advice on the Fast-Paced World of Electronics, M.I.T., A.I. Lab., Working Paper 71, Cambridge, 1974

\bibitem[McDD78]{McDD78} McDermott, D.; Doyle, J.: Non-Monotonic Logic I, M.I.T., A.I. Lab., A.I.MEMO 486, Cambridge, 1978

\bibitem[McD75]{McD75} McDermott, D.V.: Very Large Planner-Type Data Bases, M.I.T., A.I. Lab., A.I.MEMO 339, Cambridge, 1975

\bibitem[McI68c]{McI68c} McIntosh, H.V.: REEX, A Convert Program to Realize the McNaughton-Yamada Analysis Algorithm, M.I.T., A.I. Project, A.I.MEMO 153, Cambridge, 1968

\bibitem[McI68b]{McI68b} McIntosh, H.V.: CGRU and CONG, Convert and LISP Programs to Find the Congruence Relations of a Finite State Machine, M.I.T., A.I. Project, A.I.MEMO 150, Cambridge, 1968

\bibitem[McI68a]{McI68a} McIntosh, H.V.: REC/8, A Convert Compiler of REC for the PDP-8, M.I.T., A.I. Project, A.I.MEMO 149, Cambridge, 1968

\bibitem[McI63c]{McI63c} McIntosh, H.V.: List Techniques, Univ. of Florida, Quantum Theory Proj. for Research in Atomic, Molecular and Solid State Chemistry and Physics, Program Note \#13, Aug. 20, 1963

\bibitem[McI63b]{McI63b} McIntosh, H.V.: Operators for MBLISP, Univ. of Florida, Quantum Theory Proj. for Research in Atomic, Molecular and Solid State Chemistry and Physics, Program Note \#9, July 26, 1963

\bibitem[McI63a]{McI63a} McIntosh, H.V.: Integer Arithmetic Functions in MBLISP, Univ. of Florida, Quantum Theory Proj. for Research in Atomic, Molecular and Solid State Chemistry and Physics, Program Note \#6, July 15, 1963

\bibitem[McIG67]{McIG67} McIntosh, H.V.; Guzma'n, A.: A Miscellaney of Convert Programming, M.I.T., A.I. Project, Project MAC, MAC-M-346, A.I.MEMO 130, Cambridge, 1967

\bibitem[Mee79]{Mee79} Meehan, J.R.: The New UCI-LISP Manual, Lawrence Erlbaum Associates, Hillsdale, 1979

\bibitem[Me86]{Me86} Meek, B.L.: Looking to a single language standard Computing, Vol. (1986), March 20, p.21

\bibitem[Mel75]{Mel75} Melenk, H.: LISP - Ablagefunktion, C-Intrpreter, Grossrechenzentrum Berlin, Berlin, 1975

\bibitem[MeL73]{MeL73} Melenk, H.; Luegger, J.: Darstellung \& Bearbeitung umfangreicher LISP - Programme, Anewandte Informatik 6/73, S. 257-264

\bibitem[MeMoNe88]{MeMoNe88} Melenk, H.; M\"oller, H.M.; Neun, W. On Gr\"obner Bases Computation on a supercomputer Using REDUCE. Konrad-Zuse-Zentrum f\"ur Informationstechnik. Berlin 1988

\bibitem[MeR73]{MeR73} Melenk, H.; Roitzsch, R.: LISP 1.5 fuer den TR 440, Grossrechenzentrum f.d. Wissenschaft in Berlin, Nov. 1973

\bibitem[Mel80]{Mel80} Melle, W. van: A Domain-Independent System That Aids in Constructing Knowledge-Based Consultation Programs, Stanford Univ., Comp. Sc. Dep., STAN-CS-80-820, HPP-80-4, Stanford, June 1980

\bibitem[MMM81]{MMM81} Messina, S.; Miola, A.; Motisi, F.: Un Sistema LISP per il VAX, Scuola Superiore Gugliemo Reiss Romoli, L'Aquila, Italia, ca. 1981

\bibitem[MeMM82]{MeMM82} Messina, S.; Miola, A.; Motisi,F: Un Sistema LISP per il VAX Scuola Superiore Gugliemo Reiss Romoli, L'Aquila, 1982

\bibitem[MKP70]{MKP70} Mey, G. van der; Knoet, C.F.; Poel, W.L. van der: A LISP Interpreter for the PDP-9, University of Technology, Delft, Netherlands, 1970

\bibitem[MeP70b]{MeP70b} Mey, G. van der; Poel, W.L. van der: A LISP Interpreter for the PDP-8 (Issue 15), University of Technology, Delft, Netherlands, ca. 1970

\bibitem[MeP70a]{MeP70a} Mey, G. van der; Poel, W.L. van der: LISP8K and LISP16K, Two LISP Systems for the PDP-8 (with File I/O for OS/8), University of Technology, Delft, Netherlands, 1970

\bibitem[Mey67]{Mey67} Meyer, E.W. jr.: LISP - A Prototype Machine Language for a LISP Computer, ... January 9, 1967

\bibitem[Mey72]{Mey72} Meyer, G.S.: Infants in Children Stories - Toward a Model of Natural Language Comprehension, M.I.T., A.I. Lab., A.I.MEMO 265, Cambridge, 1972

\bibitem[Mil75]{Mil75} Miller, P.B.: Strategy Selection in Medical Diagnosis, M.I.T., Project MAC, MAC TR-153, Cambridge, Mass., Sep. 1975

\bibitem[Min74]{Min74} Minsky, M.: A Framework for Representing Knowledge, M.I.T., A.I. Lab., A.I.MEMO 306, Cambridge, 1974

\bibitem[Min72]{Min72} Minsky, M.: Proposal to Arpa for Continued Research on A.I., M.I.T., A.I. Lab., A.I.MEMO 269, Cambridge, 1972

\bibitem[MiP71]{MiP71} Minsky, M.; Papert, S.: Artificial Intelligence, Research at the Laboratory in Vision, Language, and Other Problems of Intelligence, M.I.T., Proj. MAC, Progr. Rep. VIII, A.I.MEMO 252, Cambridge, 1 Jan. 1972

\bibitem[MiP71]{MiP71} Minsky, M.; Papert, S.: Proposal to Arpa for Research on Art. Intelligence at M.I.T., 1971-1972, M.I.T., A.I. Lab., A.I.MEMO 245, Cambridge, 1971

\bibitem[MiP70]{MiP70} Minsky, M.; Papert, S.: Artificial Intelligence, M.I.T., MAC Progress Report V, July 1969 to Dec. 1970, Cambridge, 1970

\bibitem[MiP70]{MiP70} Minsky, M.; Papert, S.: Proposal to Arpa for Research on Art. Intell. at M.I.T., 1970-1971, M.I.T., Art. Intelligence Lab., A.I.MEMO 185, Cambridge, 1970

\bibitem[MiP69]{MiP69} Minsky, M.; Papert, S.: Progress Report 1968 - 1969, M.I.T., AI Memo 200, Cambridge, Mass., 1969

\bibitem[Min66]{Min66} Minsky, M.L.: Artificial Intelligence, M.I.T., A.I. Lab., Proj. MAC, Progress Report III, 1965-1966, Cambridge, 1966

\bibitem[Min65b]{Min65b} Minsky, M.L.: Artificial Intelligence, M.I.T., MAC - Progress Report No. II, 1964-1965, Cambridge, 1965

\bibitem[Min63d]{Min63d} Minsky, M.L.: Derivator I - A Program for Visual Inspection of Solutions to First-Order Non-Linear Differential Equations, M.I.T., Proj. MAC, MAC-M-124, A.I. Proj., A.I.MEMO 62, Cambridge, Dec. 1963

\bibitem[Min63c]{Min63c} Minsky, M.L.: Mathscope: Part I: A Proposal for a Mathematical Manipulation-Display System, M.I.T., Proj. MAC, MAC-M-118, A.I. Proj., A.I.MEMO 61, Cambridge, Nov. 1963

\bibitem[Min63b]{Min63b} Minsky, M.L.: A LISP Garbage Collector Algorithm Using Serial Secondary Storage, M.I.T., Proj. MAC, MAC-M-129, A.I.MEMO 58 (Rvsd.), Cambridge, 27 Dec. 1963

\bibitem[Min63a]{Min63a} Minsky, M.L.: A LISP Garbage Collector Algorithm Using Serial Secondary Storage, M.I.T., A.I. Proj., RLE and MIT Comp. C., A.I.MEMO 58, Cambridge, Oct. 1963

\bibitem[Min56]{Min56} Minsky, M.L.: Notes on the Geometry Problem, I+II. Manuscript, August 16, 1956

\bibitem[MBS68]{MBS68} x Minsky, M.L.; Bobrow, D.G.; Shannon, C.E.; Papert, S.A.; Edwards, J.: Artificial Intelligence, M.I.T., Research Lab. of Electronics, Quarterly Progress Report No. 80, Cambridge, 15 Jan. 1968

\bibitem[MiP67]{MiP67} Minsky, M.L.; Papert, S.A.: Research on Intelligent Automata, M.I.T., Project MAC, Progress Report IV, 1966-67, Cambridge, 1967

\bibitem[Min65a]{Min65a} Minsky, M.L.; et al.: Artificial Intelligence, M.I.T., RLE, Quarterly Progress Rep. No. 76, Cambridge, 15 Jan. 1965

\bibitem[Min63e]{Min63e} Minsky, M.L.; et al.: Artificial Intelligence, M.I.T., Res. Lab. of Electr., Quart. Prog. Rep. 68, Cambridge, 15Jan. 1963

\bibitem[Mit64]{Mit64} Mitchell, R.W.: LISP 2 Specifications Proposal, Stanford Univ., Art. Intel. Project, Memo No. 21, Stanford, Aug. 19, 1964

\bibitem[MPT75]{MPT75} Montangero, C.; Pacini, G.; Turini, F.: MAGMA-LISP: A "Machine Language" for Artificial Intelligence, Proc. 4th ISCAI, Tbilisi, Sept. 1975

\bibitem[MPT74]{MPT74} Montangero, C.; Pacini, G.; Turini, F.: Two-Level Control Structure for Nondeterministic Programming, Istituto di Elabor. della Inform. del C.N.R., No. B74-37, Pisa, Ottobre 1974

\bibitem[Moo71]{Moo71} Moon, B.A.M.: List-Processing in Plain FORTRAN, The Australian Computer Journal, Vol. 3, No. 3, August, 1971

\bibitem[Moo81b]{Moo81b} Moon, D.A.: Lisp Machine Choice Facilities, M.I.T., A.I. Lab., Working Paper 208A, Cambridge, 1981

\bibitem[Moo8a]{Moo8a} Moon, D.A.: Chaosnet, M.I.T., A.I. Lab., A.I.MEMO 628, Cambridge, 1981

\bibitem[Moo74]{Moo74} Moon, D.A.: MACLISP Reference Manual, M.I.T., Project MAC, Cambridge, Mass., April 1974

\bibitem[Moo78]{Moo78} Moon, D.A.: (?) The MACLISP Language, Part 1-3, M.I.T., A.I. Lab., Cambridge, July 27, 1978

\bibitem[Moo75c]{Moo75c} Moon, D.A.: ? MACLISP Reference Manual, M.I.T., Project MAC and A.I. Lab., Cambridge, Mass., Dec. 17, 1975

\bibitem[MoW81]{MoW81} Moon, D.A.; Wechsler, A.C.: Operating the Lisp Machine, M.I.T., A.I. Lab., Working Paper 209, Cambridge, 1981

\bibitem[Moo79]{Moo79} Moore II, J.S.: The InterLISP Virtual Machine Specification, Xerox PARC, Comp. Sc. Lab., CSL 76-5, Palo lto, Sep. 1976, rvsd. March 1979

\bibitem[Moo75b]{Moo75b} Moore, J.S.: Introducing Iteration into the Pure LISP Theorem Prover, IEEE Transactions on Software Engineering, Vol. Se-1, No. 3, Sept. 1975

\bibitem[Moo75a]{Moo75a} Moore, J.S.: Computational Logic: Structure Sharing and Proof of Program Properties, Part II, Xerox, Palo Alto Research Center, Calif., Palo Alto, April 1975

\bibitem[Moo73]{Moo73} Moore, R.C.: D-ScripA Computational Theory of Descriptions, M.I.T., A.I. Lab., A.I.MEMO 278, Cambridge, 1973

\bibitem[Mor56]{Mor56} More, T.: Report from Dartmouth Conference on Artificial Intelligence. IBM Research Report, IR-00057, July 31, 1956

\bibitem[MoS68]{MoS68} Morris, J.B. jr.; Singleton, D.J.: 6400/6600 LISP 1.5, An Adaptation of MIT LISP 1.5 (Revision II), University of Texas at Austin, Computation Center, Austin, 2 April 1968

\bibitem[Mor82]{Mor82} Morrison, B.: BigNum Structure and "Constants", ..... 4 June 1982

\bibitem[Mos70b]{Mos70b} Moses, J.: The Function of FUNCTION in LISP or, Why the FUNARG Problem Should be Called the Environment Problem, M.I.T., Project MAC, MAC-M-428, A.I. Lab., A.I.MEMO 199, Cambridge, 1970

\bibitem[Mos70a]{Mos70a} Moses, J.: The Function of FUNCTION in LISP (Draft), M.I.T., Cambridge, Mass., 197

\bibitem[Mos68]{Mos68} Moses, J.: A Program for Drilling Students in Freshman Calculus Integration Problems, M.I.T., Project MAC, MAC-M-369, A.I. Project, A.I.MEMO 158, Cambridge, 1968

\bibitem[Mos66b]{Mos66b} Moses, J.: Symbolic Integration II, M.I.T., A.I. Lab., Proj. MAC, MAC-M-327, A.I.MEMO 97A, Cambridge, 1966

\bibitem[Mos66a]{Mos66a} Moses, J.: Symbolic Integration, M.I.T., A.I. Lab., Proj. MAC, MAC-M-310, A.I.MEMO 97, Cambridge, 1966

\bibitem[Mu84]{Mu84} Mulhall, T. LISP and PROLOG - Expert Languages ? DEC User, Feb. 1984, pp. 59-60

\bibitem[NHY75]{NHY75} Nakanishi, M.; Hishinuma, C.; Yamashita K.; Sakai, T.: A Design of LISP Interpreter for Minicomputers, Keio Univ., Yokohama, Japan, Fuculty of Engineering, ca. 1975

\bibitem[NaSh85]{NaSh85} Narayanan, A.; Sharkey, N.E. An introduction to LISP. Ellis Horwood Series New York u.a. 1985

\bibitem[Neb83]{Neb83} Nebel, B.: Ist LISP eine langsame Sprache ?, Univ. Hamburg, Forschungsstelle f. Informationswissenschaft und K.I., Memo ANS-13, Hamburg, Feb. 1983

\bibitem[Nei83]{Nei83} Neidl, E.: Etude des Relations avec l'Interpre`te dans la Compilation de LISP, Univ. Pierre et Marie Curie, Paris VI, 14 Decembre 1983

\bibitem[NeMe88]{NeMe88} Neun, Winfried; Melenk, Herbert Implementation of the LISP-Arbitrary. Precision Arithmetic for a Vector Processor. Konrad-Zuse-Zentrum f\"ur Informationstechnik. Berlin 1988

\bibitem[Nev72]{Nev72} Nevins, A.J.: A Human Oriented Logic for Automatic Theorem Proving, M.I.T., A.I. Lab., A.I.MEMO 268, Cambridge, 1972

\bibitem[New73]{New73} Newey, M.: Axioms and Theorems for Integers, Lists and Finite Sets in LCF, Stanf. Univ., Comp. Sc. Dep., STAN-CS-73-330, AIM-184, Stanford, Jan. 1973

\bibitem[New75]{New75} Newey, M.C.: Formal Semantics of LISP with Applications to Program Correctness, Stanf. Univ., Comp. Sc. Dep., STAN-CS-75-475, AIM-257, Stanford, Jan. 1975

\bibitem[New74]{New74} Newey, M.C.: Formal Semantics of LISP with Applications to Program Correctness, Stanf. Univ., Comp. Sc. Dep., STAN-CS-74-475, AIM-257, Stanford, Dec. 1974

\bibitem[Nil73]{Nil73} Nilsson, N.J.: Pajaro Dunes Workshop on Automatic Problem Solving, Final Report, Stanford Research Institute (SRI), SRI Project 2527, Stanford, July 1973

\bibitem[NSB71]{NSB71} Nordstroem, M.; Sandewall, E.; Breslaw, D.: LISP F1, a FORTRAN Implementation of LISP 1.5, Uppsala Univ., Datalogilaboratoriet, Dep. of Comp. Sciences, Uppsala, 1971

\bibitem[NSU69]{NSU69} Nordstroem, M.; Sandewall, E.; Urmi, J.: How to Start Using Uppsala's 3600 LISP System, Uppsala Univ., Dep. of Computer Sciences, Report No. 23, Uppsala, Aug. 1969

\bibitem[Nor78]{Nor78} Nordstrom, M.: LISP F3 Implementation Guide and System Description, Uppsala Univ., Sweden, Datalogilaboratoriet, Uppsala, June 1978

\bibitem[Nor69b]{Nor69b} Norman, E.: LISP, UNIVAC 1108 Reference Manual, Madison Academic Conp. Cntr., Madison, Wisconsin, USA, ca. 1969

\bibitem[Nor69a]{Nor69a} Norman, E.: The Implementation of LISP on the UNIVAC 1108, Madison Academic Conp. Cntr., Madison, Wisconsin, USA, ca. 1969

\bibitem[Nor75]{Nor75} Norman, Eric LISP Primer. Academic Computing Center Madison, Wisconsin 1975

\bibitem[Nor66]{Nor66} Norton, L.M.: Adept - A Heuristic Program for Proving Theorems of Group Theory, M.I.T., Project MAC, MAC-TR-33, Cambridge, Mass., Oct. 1966

\bibitem[Nor62]{Nor62} Norton, L.M.: Some Identities Concerning the Function subst [x; y; z], M.I.T., A.I. Project, A.I.MEMO 37, Cambridge, 1962

\bibitem[Nov82]{Nov82} Novak, G.S. Jr.: GLISP User's Manual, Stanf. Univ., Comp. Sc. Dep., STAN-CS-82-895, HPP-82-1, Stanford, Jan. 1982

\bibitem[Nov83b]{Nov83b} Novak, G.S.jr.: CS 102 LISP Assignment \#6, Stanford, 1983

\bibitem[Nov83a]{Nov83a} Novak, G.S.jr.: GLISP User's Manual, Stanford Univ., Computer Science Dep., Heuristic Programming Project, HPP-82-1, STAN-CS-82-895, rvsd., Stanford, Feb. 22, 1983

\bibitem[Nov82]{Nov82} Novak, G.S.jr.: Data Abstraction in GLISP, Stanford Univ., CS Dep., Heuristic Progr. Proj., HPP-82-34, Stanford, 1982

\bibitem[O'Ke83]{O'Ke83} O'Keefe, R.A. PROLOG Compared with LISP ? SIGPLAN Notices, V18 \#5, May 1983, pp. 46-56

\bibitem[Oak84]{Oak84} Oakey, S.: LISP for Micros, Newnes Technical Books, Sevenoaks, 1984

\bibitem[Ohl85]{Ohl85} Ohlbach, H.J. Vergleich der Softwareentwicklungsumgebung auf einer konventionellen und einer LISP Maschine. KI-Rundbrief 1985

\bibitem[Pa86]{Pa86} Padget, J.: Status Report on the European Initiative on LISP Standardisation University of Bath, School of Mathematics, Bath, May 1986

\bibitem[Pad85]{Pad85} Padget, J.: Current Developments in LISP, Univ. of Bath, England, School of Mathematics, 1985

\bibitem[Pa84]{Pa84} Padget, J.: The Preservation of the Environment University og Bath, School of Mathematics, PhD.Thesis, Bath, 1984

\bibitem[PaC86]{PaC86} Padget, J.; Chailloux, J.; Christaller, T.; deMantaras, R.; Dalton, J.; Devin, M.; Fitch, J.; Krummnack, T.; Neidl, E.; Papon, E.; Pope, S.; Queinnec, C.; Steels, L.; Stoyan, H.: Desiderata for the Standardization of LISP. Draft, Bath, May 1986

\bibitem[PaF85]{PaF85} Padget, J.; Fitch, J.: The Rationale of LIER; A ConsideredLISP, N.Inada, T.Soma (Eds.): Symbolic and Algebraic Computation by Computers. Wold Scientific Publishing Co., 1985

\bibitem[PaF84]{PaF84} Padget, J.; Fitch, J.: The Rationale of LIER; A Considered LISP, Univ. of Bath, England, School of Mathematics and IBM T.J. Watson Research Center, New York, USA, 1984

\bibitem[Pai67]{Pai67} Painter, J.A.: Semantic Correctness of a Compiler for an ALGOL-Like Language, Stanf. Univ., Computer Science Dep., A.I.MEMO 44, Stanford, 10 March 1967

\bibitem[Pap71c]{Pap71c} Papert, S.: Teaching Children to be Mathematicians VS, Teaching about Mathematics, M.I.T., A.I. Lab., A.I.MEMO 249, Logo Memo 4, Cambridge, 1971

\bibitem[Pap71b]{Pap71b} Papert, S.: Teaching Children Thinking, M.I.T., A.I. Lab., A.I.MEMO 247, Logo Memo 2, Cambridge, 1971

\bibitem[Pap71a]{Pap71a} Papert, S.: t A Computer Laboratory for Elementary Schools, M.I.T., A.I. Lab., A.I.MEMO 246, Logo Memo 1, Cambridge, 1971

\bibitem[PaS71]{PaS71} Papert, S.; Solomon, C.: Twenty Things to do with a Computer, M.I.T., A.I. Lab., A.I.MEMO 248, Logo Memo 3, Cambridge, 1971

\bibitem[ACM82]{ACM82} D.Park. (ed.) Conf. Record of the 1982 ACM Symposium on LISP and Functional Programming, ACM Order No. 552820, ACM, New York, 1982

\bibitem[Pa66]{Pa66} Parrish, J. F. t. Real-Time Garbage ollecting for LISP. M.I.T., Cambridge, Mass., 23 May 1966

\bibitem[Pet73]{Pet73} Petoefi, J.S.: Towards an Empirically Motivated Grammatical Theory of Verbal Texts, D. Reidel Publishing Company, Studies in Text Grammar, pp. 205-275, Dordrecht-Holland, 1973

\bibitem[Phi60]{Phi60} Phillips, A.V.: A Question-Answering Routine, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 16, Cambridge, 1960

\bibitem[Pit84]{Pit84} Pitman, K.: The Descpription of Large Systems, M.I.T., A.I. Lab., A.I.MEMO 801, Cambridge, 1984

\bibitem[Pit83b]{Pit83b} Pitman, K.: Interfacing to the Programmer's Apprentice, M.I.T., A.I. Lab., Working Paper 244, Cambridge, 1983

\bibitem[Pit83a]{Pit83a} Pitman, K.M.: The Revised MACLISP Manual, M.I.T., Computer Science Lab., MIT/LCS/TR-295, Camridge, Mass., 21 May 1983

\bibitem[Pit81]{Pit81} Pitman, K.M.: MACLISP Manual, M.I.T., The Pitmanual, Draft \#4, Cambridge, Mass., May 31, 1981

\bibitem[Pla76]{Pla76} Plath, W.J.: REQUESA Natural Language Question - Answering System, IBM J. Res. Develop., July 1976

\bibitem[Poe72]{Poe72} Poel, W.L. van der: Advanced Course on Programming Languages and Data Structures, University of Technology, Delft, June 12-23, 1972

\bibitem[Pol78 ?]{Pol78 ?} Polcha, A.E.: ? LISP/370 Prospect, IBM Corp., Data Processing Division, 6320-6061-0, White Plains, N.Y., 1978

\bibitem[Po85]{Po85} Pope, St. T. Vorlesungs-Skript zu KI-Anwendungen und Software Tools PCS, Muenchen, Mar 1985

\bibitem[Pot75]{Pot75} Potari, F.: The LISP 1.5/R10 Programming System, Telecommunication Research Institute Budapest, August 10, 1975

\bibitem[Pou82]{Pou82} Pournelle, J.: Semidisk, Software Tools, the BDOS Blues, Power, and LISPs, Byte, Aug. 1982

\bibitem[Pra82]{Pra82} Pratt, V.: Five Paradigm Shifts in Programming Language Design and Their Realization in Viron, a Dataflow Programming Environment, Stanford Univ., Computer Science Dep., STAN-CS-82-951, Stanford, Dec. 1982

\bibitem[Pra75]{Pra75} Pratt, V.: CGOL Source, M.I.T., Project MAC, Cambridge, Mass., 1975

\bibitem[Pra79]{Pra79} Pratt, V.R.: A Mathematician's View of LISP, Byte, Vol. 4, No. 8, Aug. 1979, pp. 162-168

\bibitem[Pra77]{Pra77} Pratt, V.R.: The Competence/Performance Dichotomy in Programming, M.I.T., A.I. Lab., A.I.MEMO 400, Cambridge, 1977

\bibitem[Pra73b]{Pra73b} Pratt, V.R.: A Linguistics Oriented Programming Language, M.I.T., A.I. Lab., A.I.MEMO 277, Cambridge, 1973

\bibitem[Pra73a]{Pra73a} Pratt, V.R.: Top Down Operator Precedence, ACM Symp. on Principles Prog. Languages 1973

\bibitem[Pra76]{Pra76} Pratt, V.R: CGOL - An Alternative External Representation for LISP Users, M.I.T., A.I. Lab., Working Paper 121, Cambridge, 1976

\bibitem[PrC83b]{PrC83b} Primio, F. di; Christaller, T.: A Poor Man's Flavor System, Univ. Hamburg, Research Unit f. Inform. Science and A.I., Hamburg, 1. 7. 1983

\bibitem[PrC83a]{PrC83a} Primio, F. di; Christaller, T.: A Poor Man's Flavor System, Univ. Hamburg, Research Unit f. Inform. Science and A.I., Hamburg, 9. 2. 1983

\bibitem[Pri88b]{Pri88b} Primio, Franco di Viewing Reasoning as Program Execution. Arbeitspapiere der GMD 1988

\bibitem[Pri88]{Pri88} Primio, Franco di Micro Common Flavors. Arbeitspapiere der GMD 1988

\bibitem[PrR79]{PrR79} Prini, G.; Rudalics, M.: The Lambdino Storage Management System, Byte, Vol. 4, No. 8, Aug. 1979, pp. 26-32

\bibitem[SAIPL77]{SAIPL77} Proceedings of the Symposium on A.I. and Programming Languages, Association for Computing Machinery, SIGPLAN Notices, Vol. 12, No. 8, SIGART Newsletter No. 64, New York, August 1977

\bibitem[MAC70]{MAC70} Project MAC: Personnel, July 1969 to July 1970, M.I.T., MAC-Progress Report V, Cambridge, 1970

\bibitem[Qua67]{Qua67} Quam, L.: LISP Display Functions, Stanford Art. Intell. Laboratory, Operating Note 7, Stanford, 15 Feb. 1967

\bibitem[Que83]{Que83} Queinec, Christian LISP New York 1983

\bibitem[Qu87]{Qu87} Queinnec, Chr. Genericity and Types. Proposal for ISO-LISP Level 0 Release 1.2 Labororatoire d` Informatique Theorique et de Programmation (LIThPR) Paris, Apr. 1987

\bibitem[Qu87]{Qu87} Queinnec, Chr. Denotational Semantic for LISP. LIThPR, Apr. 1987

\bibitem[Que84]{Que84} Queinnec, Christian Langage d'un autre type : LISP. Paris 1984

\bibitem[Rap63b]{Rap63b} Raphael, B.: Operation of a Semantic Question-Answering System, M.I.T., A.I. Proj., A.I.MEMO 59, Cambridge, 1 Nov. 1963

\bibitem[Rap63a]{Rap63a} Raphael, B.: Computer Representation of Semantic Information, M.I.T., A.I. Proj., A.I.MEMO 49, Cambridge, 3 April 1963

\bibitem[Rap61]{Rap61} Raphael, B.: Introduction to the Calculus of Knowledge, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 29, Cambridge, 1961

\bibitem[Rap83]{Rap83} Raphals, L.A.: ZMACS, Introductory Manual, LMI, Cambridge, 1983

\bibitem[RaS83]{RaS83} Raphals, L.A.; Smith, S.: Introduction to the LISP System, Operations Manual, LMI, Cambridge, 1983

\bibitem[ReS73]{ReS73} Reboh, R.; Sacerdoti, E.: A Preliminary QLISP Manual, Stanford Research Institute (SRI), Calif., AI Center, Techn. Note 81, SRI Project 8721, Stanford, Aug. 1973

\bibitem[Red75]{Red75} Reddy, D.R.: Speech Recognition by Machine: A Review, Carnegie-Mellon Univ., Pittsburgh, PA, 1975

\bibitem[ReCl86]{ReCl86} Rees, Jonathan; Clinger, William Revised Report on the Algorithmic Language Scheme. ACM SIGPLAN Notices, vol. 21, no. 12, December 1986 pp. 37-79 und: MIT Artificial Intelligence Laboratory Memo no. 848a

\bibitem[ReM79]{ReM79} Reiter, R.; Mackworth, A.: LISP Notes, Univ. of British Columbia, Dep. of Computer Science, Notes No. 312, July 1979

\bibitem[Ric81]{Ric81} Rich, C.: Inspection Methods in Programming, M.I.T., Artificial Intelligence Lab., AI-TR-604, Cambridge, Mass., June 1981

\bibitem[RiS74]{RiS74} Rich, C.; Shrobe, H.E.: Understanding LISP Programs: Towards a Programmer's Apprentice, M.I.T., A.I. Lab., Working Paper 82, Cambridge, 1974

\bibitem[RSWSH78]{RSWSH78} Rich, C.; Shrobe, H.E.; Waters, R.C.; Sussman, G.J.; Hewitt, C.E.: Programming Viewed as an Engineering Activity, M.I.T., A.I. Lab., A.I.MEMO 459, Cambridge, 1978

\bibitem[RiW83]{RiW83} Rich, C.; Waters, R.: Formalizing Reusable Software Components, M.I.T., A.I. Lab., Workng Paper 251, Cambridge, 1983

\bibitem [RO83]{Ro83} Roads, C. B. 3600 Technical Summary Cambridge (USA), 1983

\bibitem[RiW81]{RiW81} Rich, C.; Waters, R.C.: Abstraction, Inspection and Debugging, M.I.T., A.I. Lab., A.I.MEMO 634, Cambridge, 1981

\bibitem[RiS76]{RiS76} Rich, C; Shrobe, H.E.: Initial Report on a LISP Programmer's Apprentice, M.I.T., Cambridge, Mass., Dec. 1976

\bibitem[Rie73]{Rie73} Rieser, H.: Grammars and the Evaluation Problem, D. Reidel Publishing Company, Studies in Text Grammar, pp. 276-99, Dordrecht-Holland, 1973

\bibitem[Ris81]{Ris81} Risch, T.: Using Dynamic Generic Functions in LISP Like Languages, IBM Research Lab., Res. Rep. RJ 3355 (40311) 12/30/81, San Jose, Calif., 1981

\bibitem[Ris73]{Ris73} Risch, T.: REMREC - A Program for Automatic Recursion Removal in LISP, Uppsala Univ., Datalogilaboratoriet, Rep. No. DLU 73/24, Uppsala, Nov. 1973

\bibitem[RoG77b]{RoG77b} Roberts, R.B.; Goldstein, I.P.: The FRL Manual, M.I.T., A.I. Lab., A.I.MEMO 409, Cambridge, 1977

\bibitem[RoG77a]{RoG77a} Roberts, R.B.; Goldstein, I.P.: The FRL Primer, M.I.T., A.I. Lab., A.I.MEMO 408, Cambridge, 1977

\bibitem[RoS82]{RoS82} Robinson, J.A.; Silbert, E.E. LOGLISP: An Alternative to Prolog. Edinburgh Univ. Press, Machine Intelligence 10, Edinburgh, 1982, pp. 399-419

\bibitem[Rob75]{Rob75} Robinson, R.: Engineering of Quality Software Systems; Towards an Analysis of the LISP Programming Language, MITRE Corp., January 1975

\bibitem[Rob63]{Rob63} Robnett, R.A.: Suggested Conventions for LISP Time-Sharing System, M.I.T., A.I. Proj., A.I.MEMO 50, Cambridge, 3 April 1963

\bibitem[Roc58]{Roc58} Rochester, N.: Symbol Manipulating Language, M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 5, Cambridge, 1958

\bibitem[Roi75]{Roi75} Roitzsch, R.: LISP - Anleitung, (2. Auflage), Grossrechenzentrum f. d. Wissenschaft in Berlin (GRZ), Berlin, Sept. 1975

\bibitem[Ros85]{Ros85} Rose, K.H.: An Introduction to Artificial Intelligence - a Self-Study Text, US Army Soldier Support Institute, RB 18-55, Ed.Code: 2, Fort B.Harrison, Indiana, Feb. 1985

\bibitem[Ro85]{Ro85} Rosenbeck, P.: Der Reiz des Exotischen - Die Programmiersprache LISP, der Liebling der KI c't 1985, Heft 7 (S.38-42), Heft 8 (S.36-44)

\bibitem[Ros76]{Ros76} Rosenthal, H.; et al.: STIS Design Optimization and Development, LISP Modifications, Auerbach Ass., Inc., Tech. Note AAI-2392-TN-1, Philadelphia, PA, Oct. 6, 1976

\bibitem[Row76]{Row76} Rowe, N.: Grammar as a Programming Language, M.I.T., A.I. Lab., Logo Memo 39, A.I.MEMO 391, Cambridge, 1976

\bibitem[Roy84]{Roy84} Roylance, G.: Some Scientific Subroutines in LISP, M.I.T., A.I. Lab., A.I.MEMO 774, Cambridge, 1984

\bibitem[Rub59]{Rub59} Rubenstein,S.Z.: The Construction of the Admittance Matrix with a Digital Computer, Mass. Inst. of Technology, Dep. for EE., BS Thesis, Cambridge, May 1959

\bibitem[Rub73]{Rub73} Rubin, A.: Grammar for the People: Flowcharts of SHRDLU's Grammar, M.I.T., A.I. Lab., A.I.MEMO 282, Cambridge, 1973

\bibitem[RDW72]{RDW72} Rulifson, J.F.; Derksen, J.A.; Waldinger, R..: QA4: A Procedural Calculus for Intuitive Reasoning, Stanford Research Institute (SRI), A.I. Center, Technical Note 73, SRI Project 8721, Stanford, Nov. 1972

\bibitem[Rus68b]{Rus68b} Russell, D.B.: Additions to LISP Index, October 1968, Atlas Computer Laboratory, Science Research Council, Oct. 1968

\bibitem[Rus68a]{Rus68a} Russell, D.B.: LISP Index, Atlas Computer Laboratory, Science Research Council, July 1968

\bibitem[Rus66]{Rus66} Russell, D.B: MK01 Version of LISP Interpreter, Atlas Computer Laboratory, Science Research Council, April 1966

\bibitem[Rus64b]{Rus64b} Russell, R.: Improvements to the Kalah Program, Stanford Univ., Art. Intel. Project, Memo No. 23, Stanford, Sep. 3, 1964

\bibitem[Rus64a]{Rus64a} Russell, R.: Kalah - The Game and the Program, Stanford Univ., Art. Intel. Project, Memo No. 22, Stanford, Sep. 3, 1964

\bibitem[Rus58]{Rus58} Russell, S.: Writing and Debugging Programs, M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 6, Cambridge, 1958

\bibitem[Rus63]{Rus63} Russell, S.R.: Improvements in LISP Debugging, Stanford Univ., Art. Intel. Project, Memo No. 10, Stanford, Dec. 18, 1963

\bibitem[Rus59]{Rus59} Russell, S.R.: Explanation of Big "P" as of March 20, 1959, M.I.T., A.I. Proj., RLE and MIT Comp. C., A.I.MEMO 9, Cambridge, March 1959

\bibitem[Rut80]{Rut80} Ruth, G.R.: Data Driven Loops, M.I.T., Computer Science Lab., MIT/LCS/TR-244, Cambridge, Mass., 1980

\bibitem[Rut77]{Rut77} Rutter, P.E.: Improving Programs by Source-to-Source Transformation, Univ. of Illinois at Urbana-Champaign, Ph D Thesis, Dep. of Comp. Sc., 1977

\bibitem[SFR76]{SFR76} Sacerdoti, E.D.; Fikes, R.E.; Reboh, R.; Sagalowicz, D.; Waldinger, R.J.; Wilber, B.M.: QLISP: A Language for the Interactive Development of Complex Systems, Stanford Research Institute (SRI), Art. Int. Center, California, Technical Note 120, SRI Projects 8721, 3805, 4763, Menlo Park, March 1976

\bibitem[Sam82]{Sam82} Samet, H.: Code Optimization Considerations in List Processing Systems, IEEE Transactions on Software Engineering, Vol. SE-8, No. 2, March 1982

\bibitem[Sam67]{Sam67} Samson, P.: String, M.I.T., Artificial Intelligence Project, A.I.MEMO 142, Cambridge, 1967

\bibitem[Sam66a]{Sam66a} Samson, P.R.: PDP-6 LISP, M.I.T., Proj. MAC, MAC-M-313, A.I. Proj., A.I.MEMO 98, Cambridge, 1966

\bibitem[San79]{San79} Sandewall, E.: Why Superroutines are Different from Subroutines, Linkoeping Univ., Informatics Lab., LiTH-MAT-R-79-28, Linkoeping, Nov. 1979

\bibitem[San78]{San78} Sandewall, E.: Design and Downloading of a Display-Based Data Editor, Linkoeping Univ., Informatics Laboratory, Linkoeping, Sweden, ca. 1978

\bibitem[San75c]{San75c} Sandewall, E.: Ideas About Management of LISP Data Bases (revised version), M.I.T., A.I. Lab., A.I.MEMO 332, Cambridge, 975

\bibitem[San75b]{San75b} Sandewall, E.: LISP: Principles, Uppsala Univ., Datalogilab., Inst. f. Informationsbehandling, Uppsala, 1975

\bibitem[San75a]{San75a} Sandewall, E.: Some Observations on Conceptual Programming, Uppsala Univ., Dep. of Computer Sciences, Datalogilaboratoriet, Rep. No. 75/10, ISBN 91-506-0052-4, Uppsala, 1975

\bibitem[San73c]{San73c} Sandewall, E.: Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs, 3. IJCAI, 1973

\bibitem[San73b]{San73b} Sandewall, E.: Documentation of the SEPAC Package, Uppsala Universitet, Datalogilaboratoriet, Inst. f. Informationsbehandling, Programdok. 1973-05-02, Uppsala, 1973

\bibitem[San73a]{San73a} Sandewall, E.: Documentation of the SEPAC Data Structure, Uppsala Universitet, Datalogilaboratoriet, Inst. f. Informationsbehandling, Doc. 73-03-24, Uppsala, 1973

\bibitem[San70]{San70} Sandewall, E.: A Proposed Solution to the FUNARG Problem, Uppsala Univ., Dep. of Computer Sciences, Rep. No. 29, Uppsala, Nov. 1970

\bibitem[San68]{San68} Sandewall, E.: LISP A LISP-Like System for Incremental Computing, Uppsala Univ., Dep. of Computer Sciences, Report No. 11, Uppsala, Jan. 1968

\bibitem[San76]{San76} Sandewall, E.: et al.: Datalogilaboratoriet - Flerarsrapport 1970 - 1975, Uppsala Univ., Datalogilaboratoriet, Dep. of CS, Rep. 76/A2, Uppsala, 1976

\bibitem[SHT71]{SHT71} Sandewall, E.; Haraldsson, A.; Tengvald, A.: Documentation of the REDFUN Package, Uppsala Universitet, Datalogilaboratoriet, Uppsala, July 1971

\bibitem[SHNU70]{SHNU70} Sandewall, E.; Holstein, H.J.; Nordtroem, M.; Urmi, J.: Datalogi Laboratoriet, Project Technical Report for 1970 and Plans for 1971, Uppsala University, Department of Computer Sciences, Uppsala, 1970

\bibitem[San74]{San74} Sandewall, E.; et al.: Datalogilaboratoriet (1974), Uppsala Univ., Dep. of Computer Sciences, Uppsala, Feb. 1974

\bibitem[San69b]{San69b} Sandewall, E.J.: A Set-Oriented Property-Structure Representation for Binary Relations, SPB, Uppsala University, Department of Computer Sciences, Report No. 24, Aug. 1969

\bibitem[San69a]{San69a} Sandewall, E.J.: A Property-List Representation for Certain Formulas in Predicate Calculus, Uppsala Univ., Dep. of Computer Sciences, Report No. 18, Uppsala, Jan. 1969

\bibitem[San83]{San83} Sanella, M.: InterLISP Reference Manual, Xerox Corp., Palo Alto, Oct. 1983

\bibitem[SaCPBP82]{SaCPBP82} Sansonnet, J.P.; Castan, M.; Percebois, C.; Botella, D.; Perez, J.: Direct Execution of LISP on a List-Directed Architecture 1982-ACM Conference on ..., S.132-139

\bibitem[SaSa83]{SaSa83} Sato, Masahiko; Sakurai, Takafumi Qute: a prolog/lisp type language for logic programming. IJCAI-83, pp. 507 - 513

\bibitem[SaBaFi66]{SaBaFi66} Saunders, R.A.; Barnett, J.A.; Firth, Donna The LISP 2 Compiler. Tech Memo 1966

\bibitem[Sche85]{Sche85} Schefe, Peter Informatik - Eine konstruktive Einf\"uhrung. LISP, PROLOG und andere Konzepte der Programmierung. Mannheim, Wien, Z\"urich Reihe Informatik/48 1985

\bibitem[Sch80]{Sch80} Scherlis, W.L.: Expression Procedure and Program Derivation, Stanf. Univ., CS Dep., STAN-CS-80-818, Memo AIM-341, Stanford, Aug. 1980

\bibitem[Sc87]{Sc87} Schmitter, E.D. Praktische Einf\"uhrung in LISP. LISP die Sprache der k\"unstlichen Intelligenz. HOFACKER, Holzkirchen, 1987

\bibitem[Sc87]{Sc87} Schneider, D. The programming language scheme SGAICO Newsletter No. 15, Mai 1987

\bibitem[Sc87]{Sc87} Schoffa, G. Die Programmiersprache LISP. Eine Einf\"uhrung in die Sprache der K\"unstlichen Intelligenz. Franzis, M\"unchen, 1987

\bibitem[Sc85]{Sc85} Schoffa, G. LISP - eine Sprache fuer kuenstliche Intelligenz. Teil 1: Vergleich mit anderen Sprachen. mc-grundlagen 8/1985 S. 50 - 108

\bibitem[Schr88]{Schr88} Schreiner, Kurt Portabilit\"atsprobleme bei LISP. Universit\"at des Saarlandes FB10 Informatik IV, 1988

\bibitem[Sem77]{Sem77} Semjonowa, A.: Interpretarujuschtschaja Sistema LISP/ES, MEI, Kafedra Prikladnoi Matematiki, Moskau, 1977

\bibitem[Sep82b]{Sep82b} Seppaenen, J: PLISP - Pascal-Pohjainen Standardi-LISP-Systeemi, Teknillinen Korkeakoulu, Laskentakeskus, Suunnittelujaosto, Helsinki, Aug. 1982

\bibitem[Sep82a]{Sep82a} Seppaenen, J: Computing Families of Natural Secret Languages, Tekniska Hoegskolan Helsingfors, Reaeknecentralen, Res. Rep. 23, Esbo (Finnland), 1982

\bibitem[SeAV86]{SeAV86} Serre, J.M.; Andersen, Arthur; Voyer, R. Tipi, an expert system written in1e lisp for a french bank 1986

\bibitem[Sha81]{Sha81} Shapiro, D.G.: Sniffer: A System that Understands Bugs, M.I.T., A.I. Lab., A.I.MEMO 638, Cambridge, 1981

\bibitem[Sha80]{Sha80} Shapiro, D.G.: A Proposal for Sniffer: a System that Understands Bugs, M.I.T., A.I. Lab., Working Paper 202, Cambridge, 1980

\bibitem[Sha86]{Sha86} Shapiro, Stuart C. LISP. An Interactive Approach. Computer Science Press New York 1986

\bibitem[ShSG75]{ShSG75} Shaw, D.E.; Swartout, W.R.; Green, C.C.: Inferring LISP Programs from Examples 4th IJCAI 1975, Tbilissi, p. 260-267

\bibitem[She83A]{She83A} Sheil, B.: Power Tools for Programmers, Intermediate INTERLISP-D Programming. Datamation, Feb. 1983

\bibitem[She83]{She83} Sheil, B.: Power Tools for Programmers, Introduction to INTERLISP-D. Datamation, Feb. 1983

\bibitem[She81]{She81} Sheil, B.: InterLISP-D Low Level Implementation, ............. May 29, 1981

\bibitem[ShB81]{ShB81} Sheil, B.; Brown, J.S.: Advanced Computing Environments for A.I. and Cognitive Science, 7th IJCAI 81, Tutorial Material, 1981

\bibitem[SMB81b]{SMB81b} Sheil, B.; Melle, B. van; Bell, A.; Burton, R.; Kaplan, R.; Masinter, L.= (Interlisp-D Group): Dolphin InterLISP KL-One Benchmark, Xerox Palo Alto Research Center, Palo Alto, Aug. 20, 1981

\bibitem[SMB81a]{SMB81a} Sheil, B.; Melle, B. van; Bell, A.; Burton, R.; Kaplan, R.; Masinter, L.= (Interlisp-D Group): Further Steps in the Flight from Time-Sharing, SIGART Newsletter, No. 77, Aug. 1981

\bibitem[Shr79]{Shr79} Shrobe, H.E.: Dependency Directed Reasoning for Complex Program Understanding, M.I.T., Artificial Intelligence Lab., AI-TR-503, Cambridge, Mass., April 1979

\bibitem[Sie81]{Sie81} Siemens: InterLISP, Benutzerhandbuch, Siemens AG, UB Datentechnik, Fachgebiet Anwenderprogr. (D AP), Vers. 4, Muenchen, Sept. 1981

\bibitem[Sik76]{Sik76} Siklossy, Laurent: Let's Talk LISP, Prentice Hall, Englewood Cliffs, 1976

\bibitem[Sil71]{Sil71} Silagadse, G.S.: Kompilator Sistemy Programmirowanija LISP-BESM-6, Soobschtschenija, AN Grus. SSR, 61, No. 3, 1971

\bibitem[Sil67b]{Sil67b} Silver, R.: LISP Linkage Feature: Incorporating MIDAS Routines into PDP-6 LISP, M.I.T., Artificial Intelligence Project, A.I.MEMO 127A, Cambridge, 1967

\bibitem[SiD83]{SiD83} Simmons, R.G.; Davis, R.: Representations for Reasoning about Change, M.I.T., A.I. Lab., A.I.MEMO 702, Cambridge, 1983

\bibitem[Si80]{Si80} Simon, F. Lamda Calculus and LISP. Univ. Kiel, Inst. f. Informatik, Bericht Nr. 8006, Kiel, Okt. 1980

\bibitem[Sim70]{Sim70} Simon, F.: Sekundaerspeicher in LISP, Diplomarbeit, Kiel, 30. 9. 1970

\bibitem[SFL84]{SFL84} Simon, F.; Felgentreu, K.-U.; Lippe, W.M. Fast Interpretation of Recursive Function Calls in Static Scope LISP. Univ. Kiel/Muenster, Kiel 1984

\bibitem[SiT77]{SiT77} Simon, F.; Trademann, P. Eine Beziehung zwischem consfreiem LISP und Stackautomaten. Univ. Kiel, Inst. f. Informatik, Bericht Nr. 7705, Kiel, Okt. 1977

\bibitem[Sla87]{Sla87} Slade, Stephen The T Programming Language. A Dialect of LISP. Englewood Cliffs 1987

\bibitem[Sla61]{Sla61} Slagle, J.R.: A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (Saint), Dept. of Math., Ph D Thesis, May 13, 1961

\bibitem[Sla59]{Sla59} Slagle, J.R.: Formal Integration on a Digital Computer, Extended Abstract, ACM Annual Meeting, Cambridge, September 1959

\bibitem[Smi84]{Smi84} Smith, B.: LISP: Language and Literature, Course Materials, Stanf. Univ., CSLI Seminar on Comp. Languages, Stanford, Spring Quarter 1984

\bibitem[Sm84]{Sm84} Smith, B.C. Reflection and Semantics in LISP. ACM/XEROX PARC, Intelligent Systems Lab.,ISL-3, June 1984

\bibitem[Smi83]{Smi83} Smith, B.C. Reflection and Semantics in LISP, ACM 1983

\bibitem[Smi82a]{Smi82a} Smith, B.C.: Reflection and Semantics in a Procedural Language, M.I.T., Computer Science Lab., MIT/LCS/TR-272, Cambridge, Mass., 25 Jan. 1982

\bibitem[SmH75]{SmH75} Smith, B.C.; Hewitt, C.: A Plasma Primer AI Lab., MIT, Cambridge, Sept. 1975

\bibitem[SmR84]{SmR84} Smith, B.C.; Rivieres, J. des: Interim 3-LISP Reference Manual, Xerox PARC, Calif., Intell. Systems Lab., ISL-1, Palo Alto, June 1984

\bibitem[Smi70]{Smi70} Smith, D.C.: MLISP, Stanf. Univ., A.I. Proj., AIM-135, CS Dep., Rep. CS-179, Stanford, Oct. 1970

\bibitem[Smi69]{Smi69} Smith, D.C.: MLISP User's Manual, Stanf. Univ., Stanf. Art. Intel. Project, Memo AI-84, Stanford, January 1969

\bibitem[SmE73b]{SmE73b} Smith, D.C.; Enea, H.J.: Backtracking in MLISP2, An Efficient Backtracking Method for LISP, 3. IJCAI, 1973

\bibitem[SmE73a]{SmE73a} Smith, D.C.; Enea, H.J.: MLISP 2, Stanf. Univ., A.I. Lab., AIM-195, CS Dep., Rep. CS-356, Stanford, May 1973

\bibitem[Smi85]{Smi85} Smith, J.: Dedicated LISP Hardware - an Overview, Dept. of Computer Science, TH Twente, Feb. 1985

\bibitem[Smo67]{Smo67} Smoliar, S.: EUTERPE-LISP: A LISP System with Music Output, M.I.T., Artificial Intelligence Project, A.I.MEMO 141, Cambridge, 1967

\bibitem[Son70]{Son70} Sonnenberg, W.: LISP im System HYDRA II (EL X8 Karlsruhe), Karlsruhe, 28. 9.1970

\bibitem[Spa86]{Spa86} Spade, Frank Objektorientierte Programmierung in LISP. FU Berlin, FB Kommunikationswissenschaften Oktober 1986

\bibitem[Spe67a-b]{Spe67a-b} Speciner, M.: The Calcomp Plotter as an Output Device in TS and LISP, M.I.T., Artificial Intelligence Project, A.I.MEMO 138, Cambridge, 1967

\bibitem[Sty82b]{Sty82b} Stacy, C.C.: Getting Started Computing at the AI Lab., M.I.T., A.I. Lab., Working Paper 235, Cambridge, 1981

\bibitem[Sta79]{Sta79} Stallman, R. M. EMACS, the extensible, Customizable, Self-documenting Display Editor. M.I.T., A.I.Lab., A.I. Memo 519, Cambridge, 1979

\bibitem[Sta82]{Sta82} Stallman, R.M.: A Local Front End for Remote Editing, M.I.T., A.I. Lab., A.I.MEMO 643, Cambridge, 1982

\bibitem[Sta81]{Sta81} Stallman, R.M.: EMACS, The Extensible, Customizable Self-Documenting Display Editor, M.I.T., A.I. Lab., A.I.MEMO 519A, Cambridge, 1981

\bibitem[Sta80]{Sta80} Stallman, R.M.: Phantom Stacks, If You Look Too Hard, They Aren't There, M.I.T., A.I. Lab., A.I.MEMO 556, Cambridge, 1980

\bibitem[StS76]{StS76} Stallman, R.M.; Sussman, G.J.: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis, M.I.T., A.I. Lab., A.I.MEMO 380, Cambridge, 1976

\bibitem[Stall83]{Stall83} Stallman, Richard ZMAIL Manual, First Edition Version 50 LMI April 1983

\bibitem[STWeMo83]{STWeMo83} Stallman, Richard; Weinreb, Daniel; Moon, David LISP Machine Window System Manual LMI 1983

\bibitem[Sta83]{Sta83} Stanley, M. The Flavors System, a Brief Overview, Toronto, Ontario, Jan. 23, 1983

\bibitem[Ste81]{Ste81} Steele, B.S.K.: An Accountable Source-to-Source Transformation System, M.I.T., Artificial Intelligence Lab., AI-TR-636, Cambridge, Mass., June 1981

\bibitem[StS78b]{StS78b} Steele, G..jr.; Sussman, G.J.: The Art of the Interpreter or, The Modularity Complex (Parts 0,1,2), M.I.T., A.I. Lab., A.I.MEMO 453, Cambridge, 1978

\bibitem[St86]{St86} Steele, G.L. Common LISP, and the connection machine. Computer Language, Aug. 1986

\bibitem[Ste80b]{Ste80b} Steele, G.L. jr.: The Definition and Implementation of a Computer Programming Language Based on Constraints, M.I.T., Artificial Intelligence Lab., AI-TR-595, Cambridge, Mass., Aug. 1980

\bibitem[Ste73]{Ste73} Steele, G.L. jr.: Trees, (Poem), BYTE, 1973

\bibitem[Ste84]{Ste84} Steele, G.L.: Common LISP - The Language, Bedford, MDigital Press, 1984

\bibitem[Ste78]{Ste78} Steele, G.L.: RABBIA Compiler for SCHEME (A Study in Compiler Optimization), M.I.T., Artificial Intelligence Lab., AI-TR-474, Cambridge, May 1978

\bibitem[StHi86]{StHi86} Steele, G.L.; Hillis, W.D. Connection Machine LISP - Fine-Grained Parallel Symbolic Processing. Thinking Machines Technical Report PL86-2, Cambrdige, May 1986

\bibitem[Ste83]{Ste83} Steele, G.L.jr.: Common LISP Reference Manual, Carnegie-Mellon Univ., Dep. of CS, Spice Proj., Pittsburgh, Nov. 29, 1983

\bibitem[Ste82b]{Ste82b} Steele, G.L.jr.: Cmmon LISP Reference Manual, Carnegie-Mellon Univ., Dep. of Computer Science, Laser Edition, Spice Project, Doc. S061, Pittsburgh, Nov. 16, 1982

\bibitem[Ste82a]{Ste82a} Steele, G.L.jr.: Common LISP Reference Manual, Carnegie-Mellon Univ., Dep. of Computer Science, Colander Edition, Spice Project, Doc. S061, Pittsburgh, July 29, 1982

\bibitem[Ste80a]{Ste80a} Steele, G.L.jr.: Destructive Reordering of CDR-Coded Lists, M.I.T., A.I. Lab., A.I.MEMO 587, Cambridge, 1980

\bibitem[Ste77c]{Ste77c} Steele, G.L.jr.: Debunking the "Expensive Procedure Call" Myth or, Procedure Call Implementations Considered Harmful or, LambdThe Ultimate Goto, M.I.T., A.I. Lab., A.I.MEMO 443, Cambridge, 1977

\bibitem[Ste77b]{Ste77b} Steele, G.L.jr.: Fast Arithmetic in MACLISP, : M.I.T., A.I. Lab., A.I.MEMO 421, Cambridge, 1977

\bibitem[Ste77a]{Ste77a} Steele, G.L.jr.: Data Representations in PDP-10 MACLISP, M.I.T., A.I. Lab., A.I.MEMO 420, Cambridge, 1977

\bibitem[Ste76b]{Ste76b} Steele, G.L.jr.: LAMBDThe Ultimate Declarative, M.I.T., A.I. Lab., A.I.MEMO 379, Cambridge, 1976

\bibitem[Ste76a]{Ste76a} Steele, G.L.jr.: Arithmetic Shifting Considered Harmful, M.I.T., A.I. Lab., A.I.MEMO 378, Cambridge, 1976

\bibitem[StS79b]{StS79b} Steele, G.L.jr.; Sussman, G.J.: The Dream of a Lifetime: A Lazy Scoping Mechanism, M.I.T., A.I. Lab., A.I.MEMO 527, Cambridge, 1979

\bibitem[StS79a]{StS79a} Steele, G.L.jr.; Sussman, G.J.: Design of LISP-Based Processors or, SCHEME: A Dielectric LISP or, Finite Memories Considered Harmful or, LAMBDThe Ultimate Opcode, M.I.T., A.I. Lab., A.I.MEMO 514, Cambridge, 1979

\bibitem[StS78c]{StS78c} Steele, G.L.jr.; Sussman, G.J.: Constraints, M.I.T., A.I. Lab., A.I.MEMO 502, Cambridge, 1978

\bibitem[StS78a]{StS78a} Steele, G.L.jr.; Sussman, G.J.: The Revised Report on SCHEME, a Dialect of LISP, M.I.T., A.I. Lab., A.I.MEMO 452, Cambridge, 1978

\bibitem[SSu76]{SSu76} Steele, G.L.jr.; Sussman, G.J.: LAMBDA, the Ultimate Imperative, M.I.T., A.I. Lab., A.I.MEMO 353, Cambridge, 1976

\bibitem[Ste79a]{Ste79a} Steels, L.: Procedural Attachment, M.I.T., A.I. Lab., A.I.MEMO 543, Cambridge, 1979

\bibitem[Ste78a]{Ste78a} Steels, L.: Frame-Based Knowledge Representation (Progress Report), M.I.T., A.I. Lab., Working Paper 170, Cambridge, 1978

\bibitem[Ste75]{Ste75} Stefanescu, D.C.: The Definition of a LISP Compiler Using Partial Evaluation, M.I.T., BS Thesis, Dept. of EE \& CS, Cambridge, Mass., July 1975

\bibitem[Ste80]{Ste80} Stefik, M.J.: Planning with Constraints, Stanf. Univ., CS Dep., STAN-CS-80-784, Memo HPP-80-2, Stanford, Jan. 1980

\bibitem[Stou79]{Stou79} Stoutemyer, D.R.: LISP Based Symbolic Math Systems, Byte, Vol. 4, No. 8, Aug. 1979, pp. 176-192

\bibitem[St86]{St86} Stoyan, H. Programmiermethoden der kuenstlichen Intelligenz. Konstanz (Entwurf), 1986

\bibitem[St86]{St86} Stoyan, H. AI Forum Nr. 1/86 Siemens AG, Muenchen, Aug. 1986

\bibitem[Sto80]{Sto80} Stoyan, H.: LISP - Anwendungsgebiete, Grundbegriffe, Geschichte, Akademie Verlag, Berlin, 1980

\bibitem[Sto79]{Sto79} Stoyan, H.: Vergleich und Bewertung von Markierungsalgorithmen fuer Garbage Collection, Intern. Koll. Aktuelle Probl. d. Rechentechnik, Dresden 1979, Wiss. Zeitschr. TU Dresden, Vol. 29 (1980), Math-Nat. Reihe (2), Nr. 2, S. 386-387

\bibitem[Sto78]{Sto78} Stoyan, H.: LISP-Programmierhandbuch, Akademie Verlag, Berlin, 1978

\bibitem[StG84]{StG84} Stoyan, H.; Goerz, G.: LISP. Eine Einfuehrung in die Programmierung, Springer Verlag, Berlin etc., 1984

\bibitem[Sto84]{Sto84} Stoyan, H: Maschinen-unabhaengige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation, IFB 91, Springer Verlag, Berlin etc., 1984

\bibitem[St67]{St67} Strachey, C.: Fundamental Concepts of Programming Languages, Part I. ?

\bibitem[StF80]{StF80} Stroemberg, D.; Fritzson, P.: Transfer of Programs from Development to Runtime Environments, BIT, Vol. 20, No. 4, 1980, pp. 434-442

\bibitem[Sty67a]{Sty67a} Stygar, P. LISP 2 Garbage Collector Specifications. Tech Memo 1967

\bibitem[Sty67]{Sty67} Stygar, P. LISP 2 Storage Management : The "Growing Pain" Problem. Tech Memo 1967

\bibitem[Sum77]{Sum77} Summers, P.D.: A Methodology for LISP Program Construction from Examples Journal of ACM, Vol.24 (1977), No.1, p.161-175

\bibitem[SM87]{SM87} Sun Microsystems Sammelmappe mit Unterlagen ueber SM und LISP. SM, Stuttgart, 1987

\bibitem[Sun85]{Sun85} Sun: Sun Portable Common LISP - A Concise Reference Manual, Sun Microsystems, Aug. 1985

\bibitem[Sus79]{Sus79} Sussman, G.J.: Review of: J.R. Allen: Anatomy of LISP, Computing Reiews 35, 481, Dec. 1979

\bibitem[Sus77]{Sus77} Sussman, G.J.: SLICES: At the Boundary Between Analysis and Synthesis, M.I.T, A.I. Lab., A.I.MEMO 433, Cambridge, 1977

\bibitem[Sus73b]{Sus73b} Sussman, G.J.: Some Aspects of Medical Diagnostics, M.I.T., A.I. Lab., Working Paper 56, Cambridge, 1973

\bibitem[Sus73a]{Sus73a} Sussman, G.J.: The Findspace Problem, M.I.T., A.I. Lab., A.I.MEMO 286, Cambridge, 1973

\bibitem[Sus72b]{Sus72b} Sussman, G.J.: Teaching of Procedures--Progress Report, M.I.T., A.I. Lab., A.I.MEMO 270, Cambridge, 1972

\bibitem[Sus72a]{Sus72a} Sussman, G.J.: Why Conniving is Better Than Planning, M.I.T., A.I. Lab., A.I.MEMO 255, Cambridge, 1972

\bibitem[SuD74]{SuD74} Sussman, G.J.; McDermott, D.V.: The Conniver Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 259A, Cambridge, 1974

\bibitem[SuD72c]{SuD72c} Sussman, G.J.; McDermott, D.V.: From PLANNER to CONNIVER - A Genetic Approach, FJCC, 1972

\bibitem[SuD72b]{SuD72b} Sussman, G.J.; McDermott, D.V.: The Conniver Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 259, Cambridge, 1972

\bibitem[SuD72a]{SuD72a} Sussman, G.J.; McDermott, D.V.: Why Conniving is Better Than Planning, M.I.T., A.I. Lab., A.I.MEMO 255A, Cambridge, 1972

\bibitem[SSt75]{SSt75} Sussman, G.J.; Stallman, R.M.: Heuristic Techniques in Computer Aided Circuit Analysis, M.I.T., A.I. Lab., A.I.MEMO 328, Cambridge, 1975

\bibitem[SuS81]{SuS81} Sussman, G.J.; Steele, G.L., jr.: Constraints - a Language for Expressing Almost-Hierarchical Descriptions, M.I.T., A.I. Lab., A.I.MEMO 502A, Cambridge, 1981

\bibitem[SuS75]{SuS75} Sussman, G.J.; Steele, G.L.jr.: SCHEME, an Interpreter for Extended LAMBDA Calculus, M.I.T., A.I. Lab., A.I.MEMO 349, Cambridge, 1975

\bibitem[SuW70]{SuW70} Sussman, G.J.; Winograd, T.: Micro-Planner Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 203, Cambridge, 1970

\bibitem[SWC71]{SWC71} Sussman, G.J.; Winogrd, T.; Charniak, E.: Micro-Planner Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 203A, Cambridge, 1971

\bibitem[Sut67]{Sut67} Sutherland, G.: DENDRAL, A Computer Program for Generating and Filtering Chemical Structures, Stanford Univ., Art. Intel. Project, Memo 49, Stanford, Feb. 15, 1967

\bibitem[SzM81]{SzM81} Szolovits, P.; Martin .A. Brand X: LISP Support for Semantic Networks. IJCAI-7, Vancouver, Aug. 1981, Proc. pp. 940-946

\bibitem[TM66]{TM66} TM-3163 The LISP 2 Programming Language and System. SDC 1966

\bibitem[Taf79]{Taf79} Taft, S.T.: The Design of an M6800 LISP Interpreter, Byte, Vol. 4, No. 8, Aug. 1979, pp. 132-152

\bibitem[Tak78]{Tak78} Takeuchi, I.: LISP-Contest 1978, LISP Proceedings of Summer Meeting of Kigoshori, IPSJ, Aug. 1978

\bibitem[TaO75]{TaO75} Takeuchi, I.; Okuno, H.: A List Processor LIPQ, Second USA - Japan Computer Conference, 1975, pp. 416-421

\bibitem[Tal85]{Tal85} Talcott, C.L.: The Essence of Rum. A Theory of the Intensional and Extensional Aspects of LISP-Type Computation, Stanford Univ., Computer Science Dep., STAN-CS-85-1060, Stanford, August 1985

\bibitem[Tan81]{Tan81} Tang, C.: Toward an Unified Logical Basis for Programming Languages, Stanford Univ., Computer Science Dep., STAN-CS-81-865, Stanford, June 1981

\bibitem[Ta86]{Ta86} Tappe, J. Variablenbindungen in LISP. Siemens AG, M\"unchen, 1986

\bibitem[TeMc59]{TeMc59} Teager, H.; McCarthy, J.: Time-Shared Program Testing, Extended Abstract, ACM Annual Meeting, Cambridge, September 1959

\bibitem[Te86]{Te86} Teitelman, W. Ten years of window systems - a retrospective view. ?

\bibitem[Tei79]{Tei79} Teitelman, W.: New - LISP - Messages, Xerox PARC, Palo Alto, CA, July 1979

\bibitem[Tei78]{Tei78} Teitelman, W.: InterLISP Reference Manual, Xerox Palo Alto Research Center, California, Palo Alto, Oct. 1978

\bibitem[Tei77b ?]{Tei77b ?} Teitelman, W.: Ears, Xerox PARC, Palo Alto, 18 Oct. 1977

\bibitem[Tei77a]{Tei77a} Teitelman, W.: A Display Oriented Programmer's Assistant, 5th IJCAI, 1977

\bibitem[Tei76]{Tei76} Teitelman, W.: LISP Changes.Update, Mails July 8, 1976 - April 26, 1977

\bibitem[Tei74]{Tei74} Teitelman, W.: InterLISP Reference Manual, Xerox, Palo Alto Research Center, Calif., Palo Alto, Oct. 1974

\bibitem[Tei73]{Tei73} Teitelman, W.: CLISP - Conversational LISP, 3. IJCAI, 1973

\bibitem[Tei72]{Tei72} Teitelman, W.: "Do What I Mean": The Programmer's Assistant, Computers and Automation, April, 1972

\bibitem[Tei67]{Tei67} Teitelman, W.: Design and Implementation of FLIP, a LISP Format Directed List Processor, Bolt Beranek and Newman Inc., Project No. 8668, Scientific Report No. 10, Cambridge, Mass., July 15, 1967

\bibitem[Tei66]{Tei66} Teitelman, W.: PILOA Step Toward Man-Computer Symbiosis, M.I.T., Project MAC, MAC-TR-32, (PH D Thesis), Cambridge, Mass., Sep. 1966

\bibitem[Tei65b]{Tei65b} Teitelman, W.: FLIP - a Format List Processor, M.I.T., Proj. MAC, MAC-M-285, A.I. Project, A.I.MEMO 87, Cambridge, 1965

\bibitem[Tei65a]{Tei65a} Teitelman, W.: EDIT and BREAK Functions for LISP, M.I.T., Proj. MAC, MAC-M-264, A.I. Project, A.I.MEMO 84, Cambridge, 1965

\bibitem[TBH71]{TBH71} Teitelman, W.; Bobrow, D.G.; Hartley, A.K.; Murphy, D.L.: BBN - LISP, TENEX Reference Manual, Bolt Beranek and Newman Inc., Cambridge, Mass., July 1971

\bibitem[TeM81]{TeM81} Teitelman, W.; Masinter, L.: The InterLISP Programming Environment, Computer Magazine, April 1981

\bibitem[Te81]{Te81} Teitelmann, W. A Display oriented Programmer's Assistant. Palo Alto, Jan. 1981

\bibitem[Ten81]{Ten81} Tennant, H.: The Stiff Upper LISP User's Manual \& Study Guide, Lifeboat Ass., New York, 1981

\bibitem[TES73]{TES73} Tesler, L.G.; Enea, H.J.; Smith, D.C.: The LISP70 Pattern Matching System, 3. IJCAI, 1973

\bibitem[TI84]{TI84} Texas Instruments Explorer Technical Summary. q. TI Austin, Texas 1984

\bibitem[The82]{The82} Theriault, D.: A Primer for the Act-1 Language, M.I.T., A.I. Lab., A.I.MEMO 672, Cambridge, 1982

\bibitem[The83]{The83} Theriault, D.G.: Issues in the Design and Implementation of Act 2, M.I.T., Cambridge, Mass., Artificial Intelligence Lab., AI-TR-728, June 1983

\bibitem[The81]{The81} Theriault, D.G.: A Primer for the Act1-Language, M.I.T., A.I. Lab., Working Paper 221, Cambridge, 1981

\bibitem[Tou83]{Tou83} Touetzky, D.S.: A Summary of MACLISP, Functions and Flags, Carnegie-Mellon Univ., Comp. Sc. Dep., Pittsburgh, 5th Edition: July 1983

\bibitem[Tou79]{Tou79} Touretzky, D.S.: A Summary of MACLISP, Functions and Flags, MACLISP@CMUA, Aug. 1979

\bibitem[Tou88]{Tou88} Touretzky, David S. How LISP has Changed. BYTE February 1988 Vol. 13, No. 2, pp. 229-234

\bibitem[WeP75][WeP75] (Weigand; Peez, V.): LISP Editor, Usermanual, Siemens - Datenverarbeitung, Proj. Siemens InterLISP - 4004, Muenchen, 1975