Informatik 8

[TON68]"TonL": A Temporary Updater for LISP Users, M.I.T., Art. Intell. Lab., Internal Note, Cambridge, 1968
[LI87]LISP and Symbolic Computation - 1st Announcement Journal, 1987
[TI85d]Explorer LISP Reference Texas Instruments. TI Part No.: 2243201-0001, June 1985
[TI85c]Personal Consultant User's Guide, Texas Instruments. TI Part No.: 2243763-0001, May 1985
[TI85b]TI Scheme Language Reference Manual. Texas Instruments. TI Part No.: 2537905-0001, Dec. 1985
[TI85a]PC Scheme User's Guide, Texas Instruments. TI Part No.: 2537904-0001, Dec. 1985
[LOO85]Loops Course Material. Xerox Corp., Palo Alto, 1983 - 1985
[LMI85]ObjectLISP for Experienced Programmers, LMI, 1401-0000, Cambridge, Aug. 1985
[IQ85]? IQLISP Reference Manual Integral Quality, Revised Issue, May, 1985
[ILD85]? Introduction to InterLISP-D. (Course Material), Xerox Corp., Palo Alto, 1983 - 1985
[IQ84]? NIQ/3. Integral Quality, Seattle, March 1984
[OPS83]? VAX-11 OPS5 User's Guide. Digital Equipment Corp. DEC, Maynard, Mass., Oct. 1983
[IQL83]? IQLISP Version 1.4.3. Manual, ?, Sept. 1983
[ILD83]? Intermediate InterLISP - D Programming Index. Xerox Corp., Palo Alto, 1983 - 1985
[GCL83]? Golden Common LISP: A Technical Summary. Version 1.1, Gold Hill Computers, Inc., Cambridge, Mass., 1983
[UTL81]? New Features in UTLISP Version 5. Univ. of Texas at Austin, Computation Center, Austin, July 29, 1981 aUTLISP 5.0 Ref. Manual, CCUM-2, Nov. 80
[Sym81]? Symbolics Software. Symbolics, Inc., Cambridge, Mass., 1981
[PAR81]? Masterscope Syntax. Xerox PARC, Palo Alto, CA, ca. 1981
[CRO81]? Cromemco LISP. Cromemco, Inc., News Release, ca. 1981
[UPP79]? InterLISP- File HPDL. Uppsala Univ., Data Center, Uppsala, Sweden, 1979
[MAC76b]? MACLISP - S-Expression Formatter for Files (Grind). M.I.T., Cambridge, 1976
[MAC76a]? AI: INFO.; LISP RECENT. M.I.T.,Cambridge, Sep. 1976
[MAC75]? MACLISP - LISP Function Tracing Package (Trace). M.I.T., Project MAC, Cambridge, Mass., 1975
[59b]? Conference on Symbol Manipulation Systems (Plan). Massachusetts Inst. of Technology, Cambridge, April 1959
[59a]? Minutes of Programming Systems Advisory Meeting. Massachusetts Inst. of Technology, Cambridge, March 1959
[ACM84]?? Conf. Record of the 1984 ACM Symposium on LISP and Functional Programming. ACM Order No. 552840, ACM, New York, 1984
[LISP88]??? LISP Resource Guide. BYTE February 1988 Vol. 13, No. 2, p.236
[LMI84]??? The LMI Lambda Field Service Manual. LMI 1984
[Ab77]Abelson, H.: Towards a Theory of Local and Global in Computation. M.I.T., A.I. Lab., A.I.MEMO 442, Cambridge, 1977
[ABA74]Abelson, H.; Adams, J.: A Glossary of Logo Primitives. M.I.T., A.I. Lab., Logo Memo 14, A.I.MEMO 315, Cambridge, 1974
[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
[AFS82]Abelson, H.; Fano, R.; Sussman, G.J.: Course Notes CS 6.001 Structure and Interpretation of Computer Programs. (Chapters 1-8, Guide to DEC-20, Intro. to EMACS, Intro. to SCHEME), M.I.T., Dept. of EE and CS, Cambridge, 1982
[AFS81]Abelson, H.; Fano, R.; Sussman, G.J.: Course Notes CS 6.001 Structure and Interpretation of Computer Programs. (Chapter 1+2, Guide to DEC-20, EMACS-Intr., Intr. to SCHEME, SCHEME-Manual, Chapter 3,4,5,6,7 Problemsets 1-9, Quiz 1+2, Final Exam.), M.I.T., Dept. of EE and CS, Cambridge, 1981
[ABF80]Abelson, H.; Fano, R.M.: Course Notes for CS 6.031 Structure and Interpretation of Computer Programs. (Chapter 5, Problem Sets, Additional Material; Chapters 2-4: 1979), M.I.T., Dept. of EE and Computer Science, Cambridge, 1980
[ABF79]Abelson, H.; Fano, R.M.: Course Notes for CS 6.031: Structure and Interpretation of Computer Programs. (Chapters 2,3,4), M.I.T., Dept. of EE and CS, Cambridge, 1979
[AGR74]Abelson, H.; Goodman, N.; Rudolph, L.: Logo Manual. M.I.T., A.I. Lab., Logo Memo 7, A.I.MEMO 313, Cambridge, 1974
[ABS85]Abelson, H.; Sussman, G.J.: Structure and Interpretation of Computer Programs. M.I.T. Press, Cambridge, Mass., 1985
[ABS83b]Abelson, H.; Sussman, G.J.: Course Notes CS 6.001 Structure and Interpretation of Computer Programs. (Problem Sets 5-10), M.I.T., Dept. EE and CS, Cambridge, 1983
[ABS83a]Abelson, H.; Sussman, G.J.: Structure \& Interpretation of Computer Programs, (Draft). M.I.T., Artificial Intellig. Lab., AI-TR-735, Cambridge, Mass., 31 July 1983
[ABSU88]Abelson, H; Sussman J: LISP- A Language for Stratified Design. BYTE February 1988 Vol. 13, No. 2, pp. 207-218
[ABR61b]Abrahams, P.: The Proofchecker. M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 22, Cambridge, 1961
[ABR61a]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[AB66b]{AB66b}*** Abrahams, P.W.: Maschine Verification of mathematical proofs. MIT Ph.D. Thesis, Cambridge 1963 [45, 186, 285] \bibitem[AB64]{AB64}*** Abrahams, P.W.: Application of LISP to maschine ckecking of mathematicals proofs. In [BB64].[45f .. 48, 186] \bibitem[AB66a]{AB66a}*** Abrahams P.W.: LISP2 refence manual. Systems Development Corporation Santa Monica, 1966.[276]
[AB66b]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[AB68]{AB68}*** Abrahams, P.W.: Symbol manipulation languages. In [ALR68].[199] \bibitem[AB76]{AB76}*** persönliche Mitteilung 1976. [185, 278] \bibitem[AC29]{AC29}*** Ackermann, A.: Zum Hilbertschen Aufbau dder reellen Zahlen. Math. Annalen 99 (1929), 118--133.[83, 86]
[ABR67a]Abrahams P.W.: Conventions for writing LISP 2 syntax Equations. SBC Memorandum 1967
[ABR67]Abrahams, P. W.: LISP 2 Debugging. Tech Memo 1967 ????
[ABFI67]Abrahams, P.; Firth, D.: LISP 2 Language Specifications. Tech Memo 1967
[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
[COM58]Ad Hoc Committee on Languages of the Association for Computing Machinery: Proposal for a Programming Language (IAL 1958). Manuscript, ACM, May 1958
[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
[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
[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
[ALL84]Allen, J.: TLC - LISP Documentation. The LISP Company, Redwood Estates, CA, 1984
[ALL69]Allen, J.; Luckham, D.: An Interactive Theorem-Proving Program. Stanford Univ., Art. Intel. Project, Memo AIM-103, Stanford, Oct. 1969
[ALL80b]Allen, J.R.: Conference Record of the 1980 LISP Conference. The LISP Company, 1980
[ALL80a]Allen, J.R.: The TLC-LISP Documentation. The LISP Company, 1980
[AL79]Allen, J.R.: An Overview of LISP. Byte, Vol. 4, No. 8, Aug. 1979, pp. ...-122
[ALL79a]Allen, J.R.: General Topics and Education: 'Anatomy of LISP'. Computing Reviews, Reviews and Abstracts, December 1979, pp. 505-506
[ALL78b]Allen, J.R.: Proposal for the LISP Conference 1980. Los Gatos, Dec.3, 1978
[AL78]Allen, J.R.: Anatomy of LISP. McGraw Hill, New York etc., 1978
[AMS75]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
[AND76]Anderson, B.: A Brief Critique of LISP. AISB 1976
[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
[ANR85]Anderson, J.R.; Reiser, B.J.: The LISP Tutor. BYTE, April 1985, pp. 159-175
[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
[ANCORE87]Anderson, John R.; Corbett, Albert T.; Reiser, Brian J.: Essential LISP. Addison-Wesley Reading, Mass. u.a. 1987
[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
[ANO84]Anonymus: Künstliche Intelligenz auf 32 Bit. Computerwoche 14. Sept. 1984
[ANO76]Anonymus: InterLISP Performance Measurements, Interim Report. Bolt Beranek and Newman, BBN Report No. 3331, Cambridge, Mass., June 1976
[ANO72]Anonymus: LISP/360 Reference Manual. Stanford Univ., Stanford Center for Information Processing, Stanford, 1972
[ANO64]Anonymus: Editor Program in LISP. Massachusetts Inst. of Technology, Cambridge, Dec. 14, 1964
[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
[ANO63a]Anonymus: LISP 2 Specifications Conference. Stanford University, Stanford, 1963
[ANO62c]Anonymus: LAP (LISP Assembly Program). M.I.T., Artificial Intelligence Project, A.I.MEMO 35, Cambridge, 1962
[ANO62b]Anonymus: Pseudo-Arrays in LISP. M.I.T. ?, Computer Science 238a, Cambridge, Nov. 14, 1962
[ANO62a]Anonymus: Exercise to Define a Function. M.I.T. ?, Computer Science 238, Exercise No. 2, Cambridge, ca. 1962
[ANS67a]Anschultz, D.: LISP 2 Compiler Register Counter and Code Generator Specifications. Tech Memo 1967
[ANS67]Anschultz, D.: LISP 2 Compiler Machine Link Specifications. Tech Memo 1967
[APP75 ?]Appel, K.: ? InterLISP /3/370 , User Reference Manual. Uppsala Univ., Sweden, Data Center, 1975-02-01, Uppsala, 1975
[AIG72]Art. Int. Group: Automatic Programming Division. MAC - Progress Report VII, 1971 - 1972
[AIG71]Art. Int. Group: Project MAC Personnel July 1970 to July 1971. M.I.T., MAC-Progress Report VI, Cambridge, 1971
[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
[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
[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[ASH77]{ASH77}* 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
[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
[AIG66]At. Int. Group: Personnel to July 1, 1966. M.I.T., A.I. Lab., Proj. MAC, Progr. Rep. III, 1965-1966, Cambridge, 1966
[ATH77]Atkinson, R.; Hewitt, C.: Specification and Proof Techniques for Serializers. M.I.T., A.I. Lab., A.I.MEMO 438, Cambridge, 1977
[AST82]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
[AU77]Aubin, R.: Strategies for Mechanizing Structural Induction. IJCAI-5, Cambridge, Mass., Aug. 1977, Proc. pp. 363-369
[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
[AUS75]Austin, H.: Teaching Teachers Logo, the Lesley Experiments. M.I.T., A.I. Lab., Logo Memo 23, A.I.MEMO 336, Cambridge, 1975
[BAH77d]Baker, H.B.jr.; Hewitt, C.: The Incremental Garbage Collection of Processes. 5. IJCAI, 1977
[BAK78]Baker, H.G.: Shallow Binding in LISP 1.5. Communications of the ACM, Vol. 21, No.7, July 1978
[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
[BAK77a]Baker, H.G.jr.: Shallow Binding in LISP 1.5. M.I.T., A.I. Lab., Working Paper 138, Cambridge, 1977
[BAH77a]Baker, H.G.J.; Hewitt, C.: The Incremental Garbage Collection of Processes. M.I.T., A.I. Lab., Working Paper 149, Cambridge, 1977
[BAH77c]Baker, H.G.jr; Hewitt, C.: Actors and Continuous Functionals. M.I.T., A.I. Lab., A.I.MEMO 436, Cambridge, 1977
[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
[BAR82]Barber, G.: Supporting Organizational Problemsolving with a Workstation. M.I.T., A.I. Lab., A.I.MEMO 681, Cambridge, 1982
[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
[BAR66]Barnett, J.A.: SIM, An S-Expression Pattern-Matching Function. Tech Memo 1966
[BAR67a]Barnett, J.: LISP 2 Compiler Specifications. Tech Memo 1967 \bibitem[BAR67a]{Bar67a}* Barnett, J.: LISP 2 Compiler Context Resolver Language and Processor Specifications. Tech Memo 1967
[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
[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
[BAU75]Bauer, M.A.: A Basis for the Acquisition of Procedures from Protocols. 4th IJCAI 1975 Tbilissi, p.226-231
[BAU79]Bauer, W.: Implementierung und Beschreibung eines LISP-Compilers (Mac COM), Univ. Stuttgat, (Diplomarbeit \#107), Stuttgart, 1979
[BAU72]Baumgart, B.G.: Micro Planner Alternate Reference Manual, Stanford Univ., A.I. Lab., Operating Note No. 67, Stanford, April 1972
[BAW83:]Bawden, A.: CL1 Manual, M.I.T., A.I. Lab., Working Paper 254, Cambridge, 1983
[BBH81]Bawden, A.; Burke, G.S.; Hoffman, C.W.: MACLISP Extensions, M.I.T., Lab. for Computer Science, Cambridge, Mass., July 1981
[BOB72]Bobrow, D.G.: Requirements for Advanced Programming Systems for List Processing, Communications of the ACM, Vol. 15, No. 7, July 1972
[BEE67]Beeler, M.: IO Test, M.I.T., Artificial Intelligence Project, A.I.MEMO 144, Cambridge, 1967
[BGS72]Beeler, M.; Gosper, R.W.; Schroeppel, R.: HAKMEM, M.I.T., A.I. Lab., A.I.MEMO 239, Cambridge, 1972
[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
[BER85]Berk, A. A. LISP. The Language of Artificial Intelligence. Van Nostrand com. New York 1985
[BEB64]Berkeley, E.C., Bobrow, D.G.: The Programming Language LISP: Its Operation and Applications, MIT Press, Cambridge, 1964
[BEK67]Berkeley, E.C.: Persons Interested in LISP, Information International, Inc., Report No. 8-24/67, Cambridge, 1 Aug. 1967
[BER67]Berns, R.I.: A Paged LISP Using the Dynamic Relocation Hardware of an IBM 360/67, Stanford University, Computation Center, Stanford, 1967
[BER82]Bernstein, J.: A.I. Profiles: Marvin Minsky, The New Yorker, 1982, pp. 50-126
[BER70]Berry, D.M.: LISP for ALGOL Afficionados and ALGOL for LISP Afficionados, Brown Univ., Division of Appl. Math., Providence, Rhode Island, Sep. 1970
[BEWI88]Betz, David; Williams, Gregg Introduction LISP. BYTE February 1988 Vol. 13, No. 2, p.206
[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
[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
[BIN70]Binford, T.O.: Display Functions in LISP, M.I.T., Art. Intelligence Lab., A.I.MEMO 182, Cambridge, 1970
[BIS75]Bishop, P.B.: Garbage Collection in a Very Large Address Space, M.I.T., A.I. Lab., Working Paper 111, Cambridge, 1975
[BLA70]Blair, F.: The Structure of the LISP Compiler, IBM, Yorktown Heights, ca. 1970
[BLA79b]Blair, F.W.: The Definition of LISP1.8+0.3i IBM Th.Watson Res. Center, Yorktown Heights, 9/18/79
[BLA79a]Blair, F.W.: LISP/370 Concepts and Facilities, IBM Computer Science, RC 7771, (\#33639) 7/18/79
[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
[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
[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
[BLO63]Bloom, G.: M-Expression Translator, (handwritten) M.I.T., A.I. Project, Cambridge, Mass., 1963
[BOR76]Bobrow, D. G.; Raphael, B. New Programming Languages for AI Research Palo Alto, 1976
[BOB75]Bobrow, D.G.: A Note on Hash Linking, Communications of th ACM, Vol. 18, No. 7, July, 1975
[BOB70]Bobrow, D.G.: The Programming Language LISP - Why, What and When, (Draft), Bolt Beranek and Newman Inc., Cambridge, Mass., ca. 1970
[BOB69]Bobrow, D.G.: LISP Bulletin No. 1, SIGPLAN - Notices, 1969
[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
[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
[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
[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
[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
[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'),?
[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
[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
[BOD79]Bobrow, D.G.; Deutsch, P.: Extending InterLISP for Modularization and Efficiency (Extended Abstract), Ng., Symbolic and Algebraic Computation, Springer, LNCS 72, 1979
[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
[BOR73]Bobrow, D.G.; Raphael, B.: New Programming Languages for AI Research, Stanf. Res. Inst. (SRI), AI Center, Techn. Note 82, Stanford, Aug. 1973
[BOT67]Bobrow, D.G.; Teitelman, W.: Debugging in an On-Line Interactive LISP, Bolt Beranek and Newman Inc., Cambridge, Mass., Nov. 1967
[BOW73]Bobrow, D.G.; Wegbreit, B.: A Model for Control Structures for A.I. Programming Languages, 3. IJCAI, 1973
[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
[BOG83]Bogen, R.: MACSYMA Reference Manual, Version 10, M.I.T., Lab. for Comp. Sc., 2nd Printing, Vol. I, Cambridge, Dec. 1983
[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.)
[BOL81]Boley, H.: Artificial Intelligence - Languages and Machines, Univ. Hamburg, FB Informatik, Hamburg, ca. 1981
[BON82]Bonsiepen, M.: Ein Algorithmus zur Automatischen Programmierung in LISP, Univ. Bremen, Forschgs.gruppe Theoret. Inform., Bericht 3/82, Bremen, 1982
[BOO66]Book, Erwin The LISP 2 Syntax Translator. Tech Memo 1966
[BOD84]Bortz, J.; Diamant, J.: LISP for the IBM Personal Computer, BYTE Journal, July 1984, pp. 281-291
[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
[BOM73]Boyer, R.S.; Moore, J.S.: Proving Theorems About LISP Functions, 3. IJCAI, 1973
[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
[BRA59b]Brayton, R.K.: The Compiler in LISP, Massachusetts Inst. of Technology, Cambridge, 1959
[BRA59a]Brayton, R.K.: Compiler, Massachusetts Inst. of Technology, Cambridge, 1959
[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
[BRO65]Brody, T.A.: LISPITO, a LISP Processor for the IBM 1620, Centro Nacional de Calculo, Instituto Politecnico Nacional, Mexico, 1965
[BRLA87]Bromley, Hank; Lamson, Richard LISP LORE: a guide to programming the LISP machine. Boston, Dordrecht, Lancaster 2. Aufl. 1987
[BRO84b]Brooks, R.A.: Programming in Common LISP, (Draft), Stanford Univ., Stanford, July 24, 1984
[BRO84a]Brooks, R.A.: Common LISP Text Book, (Draft), Stanford Univ., Stanford, July 1, 1984
[BGS82]Brooks, R.A.; Gabriel, R.P.; Steele, G.L.jr.: An Optimizing Compiler for Lexically Scoped LISP, 1982 LISP Conference
[BRO87]Brooks, Rodney A. LISP. Programmieren in Common LISP. München, Wien 1987
[BRO85]Brooks, Rodney A. Programming in Common LISP. New York u.a. 1985
[BROGa84]Brooks, Rodney A.; Gabriel, Richard P. A Critique of Common LISP. ACM 1984
[BRO74]Brown, A.L.: Qualitative Knowledge, Causal Reasoning, and the Localization of Failures, M.I.T., A.I. Lab., Working Paper 61, Cambridge, 1974
[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
[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
[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
[BUC83]Buchanan, B.G.: Introduction to the Memo Series of the Stanford Art. Intelligence Lab., Stanford University, Reprinted by Comtex Scientific Corp., Stanford, 1983
[BUL73]Buchanan, B.G.; Lederberg, J.: The Heuristic Dendral Program for Explaining Empirical Data, 3. IJCAI, 1973
[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
[BU75]Bundy, A. Analysing Mathematical Proofs IJCAI-4, Tbilisi, USSR, 3-8- Sep. 1975, Proc. pp. 22-28
[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
[BUR83]Burke, G.: Introduction to NIL, M.I.T., Lab. for Computer Science, Cambridge, Mass., March 1983
[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
[BCE83]Burke, G.S.; Carrette, G.J.; Eliot, C.R.: NIL Notes for Release 0.259, M.I.T., Cambridge, Mass., June 1983
[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
[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
[CAM74]Campbell, J. A. An experiment in automatic programming. Modern trends in Cybernetics and Systems, Section 6, 1974 pp. 633-640
[CAM66]Campbell, J.A.: LISP on the Imperial College 7090 Computer, Programming Guide, Imperial College of Science and Technology, Computer Unit, London, 1966
[CAR82]Carbonell, Jaime G. LISP - SP. A portable INTERLISP subset interpreter for mini-computers. Uni Kaiserslautern SEKI MEMO -83-03
[CAT82]Carrette, G.: VAX-NIL Installation Instructions, M.I.T., Cambridge, Mass., Oct. 15, 1982
[CAY83]Cayrol, Michel Le Langage LISP. Toulouse 1983
[CED78]Cedval, M.; et al.: Datalogilaboratoriet 1978 - Beskrivning av Forskningen under 1977, Uppsala Univ., Datalogilaboratoriet, Comp. Sc. Dep., DLU 78/A1, Uppsala, 1978
[CED77]Cedvall, M.; et al.: Datalogilaboratoriet 1977, Uppsala Univ., Dep. of Computer Science, Rep. No. DLU 77/A1, Uppsala, 1977
[CH86]Chailloux, J.: Le$\_$LISP version 15.2; Le manuel de reference. Rocquencourt, Mai 1986
[CHA85]Chailloux, J.: La Machine LLM3, INRIA Rapports Techniques, No. 55, Rocquencourt, Juillet 1985
[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
[CHA82]Chailloux, J.: Le - LISP 68K, Le Manuel, (Provisoire), I.N.R.I.A., Domaine de Voluceau Rocquencourt, Le Chesnay, 30 Juillet 1982
[CHA80]Chailloux, J.: Le Modele VLISP: Description, Implementation et Evaluation, Univ. Pierre et Marie Curie, LITP No. 80-20, Paris, Avril 1980
[CHA77]Chailloux, J.: Notes sur le VLISP 10.2, Univ. de Paris 8, Dep. d'Informatique, RT 17-76, Paris, Mars 1976
[CHA76]Chailloux, J.: VLISP-10, Manuel de Reference, Univ. de Paris 8, U.E.R. Informatique-Linguist., RT 17-76, Paris, Mars 1976
[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
[CHP77]Champeaux, D. de: LISP Changes to UTLISP, Computer Listing, ca. 1977
[CHA81]Chapman,D.: A Program Testing Assistant, M.I.T., A.I. Lab., A.I.MEMO 651, Cambridge, 1981
[CPD80]Charniak, E.; Riesbeck, C.R.; McDermott, D.V.: Artificial Intelligence Programming, Lawrence Erlbaum Associates, Hillsdale, 1980
[CHR82]Christaller, T.: MACLISP - Kurzmanual, Univ. Bielefeld, CL-Memo 1-79, Bielefeld, Januar 1982
[CHR79c]Christaller, T.: MACLISP - Compiler, Hauptrechenzentrum (HRZ) Bielefeld, File LCOMP ULL010, Bielefeld, 1979
[CHR79b]Christaller, T.: MACLISP - Kurzmanual, Univ. Bielefeld, Fakultaet f. Linguistik \& Literaturwissenschaft, CL-Memo 1-79, Bielefeld, August 1979
[CHR79a]Christaller, T.: MACLISP - Kurzmanual, Univ. Bielefeld, Fakultaet f. Linguistik \& Literaturwissenschaft, Bielefeld, April 1979
[CHB84]Christaller, T.; Bernhardt, N.: Die Libelle = LIsp BEnutzergruppe Lieblings LEktuere - No. 1, (Univ. Hamburg), Hamburg), 1984
[CIC78]Ciccarelli, E.: An Introduction to the EMACS Editor, M.I.T., A.I. Lab., A.I.MEMO 447, Cambridge, 1978
[CIC84]Ciccarelli, E.C.: Presentation Based User Interfaces, M.I.T., Artificial Intelligence Lab., AI-TR-794, Cambridge, Mass., Aug. 1984
[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
[CLA78]Clark, D.W.: Measurements of Dynamic List Structure Use in LISP, (rvsd. April 1978), IEEE Transactions on Software Engineering, 1979
[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
[CLI79b]Clinger, W.: A Fair Power Domain for Actor Computation, M.I.T., A.I. Lab., Working Paper 190, Cambridge, 1979
[CLI79a]Clinger, W.: Global Time in Actor Computations, M.I.T., A.I. Lab., Working Paper 189, Cambridge, 1979
[CLI81]Clinger, W.D.: Foundations of Actor Semantics, M.I.T., Artificial Intelligence Lab., AI-TR-633, Cambridge, Mass., May 1981
[CL88]Clinger, William Semantics of Scheme. BYTE February 1988 Vol. 13, No. 2, pp. 221-227
[COH81]Cohen, J.: Garbage Collection of Linked Data Structures, Computing Surveys, Vol. 3, No. 3, Sep. 1981
[CM36-86]CommonLISP-Mail: Week 36-86 Sep. 1986
[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
[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
[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
[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
[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
[COS85]Corley, C.J.; Statz, J.A.: LISP Workstation Brings AI Power to a User's Desk, Computer Design, Jan. 1985, pp. 155-162
[COR79]Correira, A.: CYBER-LISP Extensions to UTLISP for Interactive Users, VIM-30, May 1979
[CRA67]Crandell, D. LISP 2 Assembly Program (LAP) Specification. Tech Memo 1967
[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
[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
[DA86a]Dalton, J.: Instant comments on PopLog Common LISP University of Edinburgh, AI Applications Institute, Programming Systems Group note 54, Edinburgh, Jan. 1986
[DAN83]Danicic, I. LISP Programming. Oxford, London u.a. 1983
[DAN84]Danicic, I.: LISP Programming, Blackwell Scientific Publications, Boston, 1984
[DAB76]Darlington, J.; Burstall, R.M.: A System which Automatically Improves Programs, Acta Informatica, Vol. 6, 1976, pp. 41-60
[DAR73]Darlington, J.L.: Automatic Program Synthesis in Second-Ordr Logic, 3. IJCAI, 1973
[DAT81]Datasoft Inc.: App-L-ISP for the Apple II Computer, Vers. 1.7, Special Software Systems, Datasoft Inc., Northridge, CA, 1981
[DAJ80]Davenport, J.H.; Jenks, R.D.: MODLISP, IBM Watson Res. Center, Res. Rep. RC 8537 (\#37198) 10/29/80, New York, 1980
[DAV82]Davis, R.: Report on the Second Workshop on Distributed AI, M.I.T., A.I. Lab., Working Paper 228, Cambridge, 1981
[DAV80b]Davis, R.: Report on the Workshop on Distributed AI, M.I.T., A.I. Lab., Working Paper 204, Cambridge, 1980
[DAK75]Davis, R.; King, J.: An Overview of Production Systems, Stanf. Univ., Comp. Sc. Dep., STAN-CS-75-524, AIM-271, Stanford, Oct. 1975
[DEN64]Dennis, J.B.: A Multiuser Computation Facility for Education and Research, Communications of the ACM, Vol. 7, No. 9, Sept. 1964
[DER77d]Deransart, P.: Proof by Semantic Attributes of a LISP Compiler, Submitted to: Second Hungaria Comp. Science Conference - Budapest, June 27 - July 2, 1977
[DER77c]Deransart, P.: Definition and Implementation of a LISP System (Using Semantic Atributes), Iria, BP 105, Le Chesnay, France, May 1977
[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
[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
[DES77]Derret, N., Solomon, M.: LISBEA LISP Dialect for Teaching, Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, DAIMI MD-25, Aarhus, February 1977
[DEU78]Deutsch, P.: Inside InterLISP: Two Implementations, Xerox PARC, Palo Alto, California, Nov. 26, 1978
[DEU67]Deutsch, P.: Preliminary Guide to the LISP Editor, Univ. of Calif., Office of Secr. of Def., Doc. W-21, Berkeley, 18 Apr. 1967
[DEU63]Deutsch, P.: PDP-1 LISP, M.I.T., A.I. Project, Cambridge, 1963
[DEU73]Deutsch, P.L.: A LISP Machine with Very Compact Programs, 3. IJCAI 1973
[DEV85b]Devin, M.: La Microprogrammation du Systeme LeLISP - Une Premiere Approche, INRIA Rapports de Recherche, No.441, Rocquencourt, Sep. 1985
[DEV85a]Devin, M.: Le Portage du Systeme LeLISP, Mode d' Emploi, INRIA Rapports Techniques, No. 50, Rocquencourt, March 1985
[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
[DOB80]Dornbrook, M.; Blank, M.: The MDL Programming Language Primer, M.I.T., Computer Science Lab., MIT/LCS, Cambridge, Mass., 1980 o. folg.
[DUW80]DuWayne Duffey II, R.: Formalizing the Expertise of the Assembly Language Programmer, M.I.T., A.I. Lab., Working Paper 203, Cambridge, 1980
[DUR78]Durieux, J.L.; et al.: Seminaire: Implementation et Interpretation de LISP, Toulouse Mars 1-3, 1978, Univ. Paul Sabatier de Toulouse, 1978
[DYB87]Dybvig, Kent R. The Scheme Programming Language. Englewood Cliffs 1987
[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
[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
[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
[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
[EDW64]Edwards, D.J.: LISP System, Mass. Inst. of Technology, Project MAC, MAC-M-132, Cambridge, January 9, 1964
[EDW59]Edwards, D.J.: Symbolic Circuit Analysis with the 704 Electronic Computer, Mass. Inst. of Technology, Dept. of EE., BS Thesis, Cambridge, May 1959
[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
[EI85]Eicher, W.: Ein hardware-unterstuetzter LISP-Interpreter, Univ. Kaiserslautern, FB Inf., Dr-rer-nat Thesis, Kaiserslautern, Juni 1985
[EISSP87]Eicher, W.; Scheel, A.; Streit, H.; Puttkamer, E.v. A new strategy for Interpreting LISP applied to FranzLISP. Fb Informatik, Uni Kasierslautern 1987 (?)
[EIS87]Eisenberg, Mike Programming in Scheme. Palo Alto, CA; Scientific Press 1987
[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
[ENE68]Enea, H.: MLISP, Stanf. Univ., Comp. Science Dep., Techn. Rep. CS 92, Stanford, March 14, 1968
[ENE63]Enea, H.: Clock Function for LISP 1.5, Stanford Univ., Art. Intel. Project, Memo No. 4, Stanford, Aug. 2, 1963
[ENW63]Enea, H.; Wooldridge, D.: Algebraic Simplification, Stanford Univ., Art. Intel. Project, Memo No. 5, Stanford, Aug. 5, 1963
[EPP77]Epp, B.: InterLISP Programmierhandbuch, Institut f. Deutsche Sprache, D-6800 Mannheim 1, Maerz 1977
[ELP84c]Erling, O.; Lassila, O.; Pirinen, P.: INTERCOSM - Window Oriented User Interface, Usrs Guide, ENTITY Systems, Nokia Data, Helsinki, Nov. 1984
[ELP84b]Erling, O.; Lassila, O.; Pirinen, P.: MikkoLISP in Kaeyttoe INTERCOSM ympaeristoessae, ENTITY Systems, Nokia Data, Helsinki, Nov. 1984
[ELP84a]Erling, O.; Lassila, O.; Pirinen, P.: MikkoLISP Reference Manual, Preliminary Edition, ENTITY Systems, Nokia Data, Helsinki, Nov. 1984
[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
[EVA62]Evans, T.G.: A Heuristic Program to Solve Geometric Analogy Problems, M.I.T., Artificial Intelligence Project, A.I.MEMO 46, Cambridge, 1962
[FAH81]Fahlman, S.E.: Spice LISP Status, Carnegie-Mellon Univ., Dep. of Computer Science, Pittsburgh, March 31, 1981
[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
[FAH75b]Fahlman, S.E.: The Intersection Problem, M.I.T., A.I. Lab., Working Paper 115, Cambridge, 1975
[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
[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
[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
[FAT82b]Fateman, R.J.: FUGUE Notes, Number 2, Univ. of Calif., Berkeley, Oct. 1982
[FAT82a]Fateman, R.J.: FUGUE Notes Number 1, Univ. of California, Berkeley, March 1982
[FAT78]Fateman, R.J.: Is a LISP Machine Different from a FORTRAN Machine ?, SIGSAM Bull., Vol. 12 (1978), No. 4
[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
[FEI68]Feigenbaum, E.A.: Artificial Intelligence: Themes in the Second Decade, Stanf. Univ., A.I. Proj., Memo AI-67, Stanford, Aug. 15, 1968
[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
[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
[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
[FIR67]Firth, Donna LISP 2 Input/Output Specifications. Tech Memo 1967
[FIKA66]Firth, Donna; Kameny, S.L. Syntax of LISP 2 Tokens. Tech Memo 1966
[FI86]Fitch, J.: Case for Support; Transportable Box of LISP Tools. University of Bath, School of Mathematics, Bath, May 1986
[FIM78c]Fitch, J.; Marti, J.: SLISP - The B-Interpreter, University of Utah, Symbolic Computation Group, Salt Lake City, 1978
[FIM78b]Fitch, J.; Marti, J.: A Small Standard LISP Interpreter, University of Utah, Symbolic Computation Group, Salt Lake City, 1978
[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
[FIP85b]Fitch, J.; Padget, J.: Closurize and Concentrale, Proceedings of POPL '85 (ACM, New York), pp. 255-265
[FIP85a]Fitch, J.; Padget, J.: The Extent of Scope, M.Arato, I.Katai, L.Varga (Eds.): Proc. 4th Hung. Computer Sci. Conf., 1985
[FIN77b]Fitch, J.P.; Norman, A.C.: Implementing LISP in a High-Level Language, Software - Practice and Experience, Vol. 7 (1977), pp. 713-725
[FiN77a]Fitch, J.P.; Norman, A.C.: A Note on Compacting Garbage Collection, Computer Journal, Vol. 21 (1977), No. 1, pp. 31-34
[FLA87]Fladung, Bonne J. The XLISP Primer. Englewood Cliffs 1987
[FLY83]Flynn, A.M.: The Connection Machine RAM Chip, M.I.T., A.I. Lab., Working Paper 242, Cambridge, 1983
[FOD82]Foderaro, J.K.: The Fraz LISP Manual, Univ. of Calif., Dep. of EE and CS, Berkeley, California, April 1982
[FSL83]Foderaro, J.K.; Sklower, K.L.; Layer, K.: The Franz LISP Manual, Univ. of California, San Francisco o. Berkeley ?, June 1983
[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
[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
[FRE76]Freuder, E.C.: Synthesizing Constraint Expressions, M.I.T., A.I. Lab., A.I.MEMO 370, Cambridge, 1976
[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
[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
[FRW77]Friedman, D.P.; Wise, D.S.: A Note on Conditional Expressions, Indiana Univ., Technical Report No. 70, Bloomington, Indiana, Oct. 1977
[FRW74]Friedman, D.P.; Wise, D.S.: Unwinding Structured Recursions Into Iterations, Indiana Univ., Comp. Sc. Dep., Tech. Rep. 19, Bloomington, Indiana, Dec. 1974
[FRIFE86]Friedman, Daniel P.; Felleisen, Matthias The Little LISPer MIT Press Cambridge, Mass. \& London, GB 1987
[GO87]Görz, G. Symbolische Informationsverarbeitung in LISP: Programmierstile und Verarbeitungsmodelle. Universität Erlangen-Nuernberg, 1987
[GAP86]Gabriel, R. P.; Pitman, K. M. Issues of Separation in Function Cells and Value Cells. ?, Nov./Dec. 1986
[GAB84]Gabriel, R.P.: Software Pipelining, Stanford Univ., Lawrence Livermore National Lab., Stanford, 1984
[GAB82]Gabriel, R.P.: Performance and Evaluation of LISP Systems, Stanford Univ., Stanford, 1982
[GAC84]Gabriel, R.P.; McCarthy, J.: Queue-Based Multi-Processing LISP, Stanford Univ., Computer Science Dep., STAN-CS-84-1007, Stanford, June 1984
[GA86]Gabriel, Richard P. Performance and Evaluation of LISP Systems. The MIT Press, Cambridge/London, 1986 (3. Aufl.)
[GAP79]Galley, S.W.; Pfister, G.: The MDL Programming Language, M.I.T., Computer Science Lab., MIT/LCS/TR-293, Cambridge, Mass., 1979
[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
[GEH87]Gehrke, M.; Haugeneder, H. LISP Grundkurs Siemens AG, Muenchen, 1987
[Ge75 (siehe auch Ge74)]Geiser, J. R. Commenting Proofs. IJCAI-4, Tbilisi, USSR, 3-8 Sep. 1975, Proc. pp. 34-39
[GEI74]Geiser, J.R.: Commenting Proofs, M.I.T., A.I. Lab., A.I.MEMO 309, Cambridge, 1974
[GEL58]Gelernter, H.: A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine, IBM Res. Rep. 00/85, August 14, 1958
[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
[GE79]Gerow, ?; Manual dlja DOS-ES-LISP1.6 Institut fuer Mathematik und Rechenzentrum, Bulgarische Akademie der Wissen- schaften, Sofia, 1979
[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
[GIGU85]Gini Giuseppina; Gini, Maria; Guida, Giovanni LISP. Linguaggio e metodologia di programmazione. Milano 2. Aufl. 1985
[GMM64]Glaser, D.; McCarthy, J.; Minsky, M.: The Automated Biological Laboratory, Summer Study in Exbiology, National Academy of Sciences, Oct. 18, 1964
[GNO84]Gnosis: Learning LISP, Prentice Hall, Englewood Cliffs, 1984
[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
[GOE84]Goerz, G.: TLC - LISP Kurzmanual, Vers. 2, Univ. Erlangen - Nuernberg, Region. Rechenzentrum RRZE, Erlangen, 10. 5. 1984
[GOE76]Goerz, G.: Die Verwendung von LISP an wissenschftl. Rechenzentren in der BRD, Univ. Erlangen-Nuernberg, Rechenzentrum RRZE, IAB Nr. 63, Erlangen, Dez. 1976
[GO72]Goerz, G.: LISP 1.5 - Handbuch fuer die CD3300, Mitteilungsblatt des Rechenzentrums der Universitaet Erlangen-Nuernberg, RRZE, No. 11, Erlangen, Maerz 1972
[GOB83]Goerz, G.; Beckstein, C.: How to Parse Gaps in Spoken Utterances, Univ. Erlangen-Nuernberg, Regionales Rechenzentrum RRZE, Erlangen, 1983
[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
[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
[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
[GOL73b]Goldstein, I.: Elementary Geometry Theorem Proving, M.I.T., A.I. Lab., A.I.MEMO 280, Cambridge, 1973
[GOL73a]Goldstein, I.: Pretty-Printing Converting List to Linear Structure, M.I.T., A.I. Lab., A.I.MEMO 279, Cambridge, 1973
[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
[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
[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
[GOO77]Goodwin, J.: A Guided Tour of the InterLISP System, Part I, Univ. i Linkoeping, Tekniska Hoegskolan, LiTH-MAT-R-77-2, Linkoeping, 1977
[GOR83]Gordon, S. Novak Jr. GLISP User's Manual. Technical Report TR-83-25 (Preliminary Version) Department of computer sciences Austin,Texas 1983
[GOS81]Gosling, J.: UNIX EMACS, M.I.T. ?, CMU, Cambridge, Dec. 1981
[GOS74]Gosper, R.W.: Acceleration of Series, M.I.T., A.I. Lab., A.I.MEMO 304, Cambridge, 1974
[GOT74]Goto, E.: Monocopy and Associative Algorithms in an Extended LISP, Univ. of Tokyo, Information Science Lab., Techn. Rep. 74-03, Tokyo, May 1974
[GOK78]Goto, E.; Kanada, Y.: Hashing Lemmas on Time Complexities with Application to Formula Manipulation, SYMSAC '76
[GRA81]Graetz, J.M.: Space War, Creative Computing 1981, pp. 56-66
[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
[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
[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
[GRE78]Greenberg, B. Notes on the Programming Language LISP, M.I.T., Student Information Processing Board, Cambridge, 1978
[GRN77]Greenberg, Bernard S. The Multics MACLISP Compiler. The Basic Hackery. A Tutorial. ???
[GR75]Greenblatt, R: The LISP Machine, AI Lab, MIT, Cambridge, 1975
[GRE75]Greif, I.: Semantics of Communicating Parallel Processes, M.I.T., Project MAC, MAC TR-154, Cambridge, Mass., Sep. 1975
[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
[GRE76c]Greussay, P.: Descriptions Compactes d'Interpretes Implementables. Une Application au Language CONNIVER, 2eme Colloque International sur la Programmation, Institut de Programmation, Paris, 1976
[GRE76b]Greussay, P.: Iterative Interpretation of Tail-Recursive LISP Procedures, Univ. of Vincennes, Dep. d' Informatique, TR-20-76, Paris, Sep. 1976
[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
[GRE75]Greussay, P.: LISP T 1600, Univ. Paris 8, Inst. de L'Environnement, Paris, Fevr. 1975
[GRL78]Greussay, P.; Laubsch, J.: LISP Bulletin \#2, Univ. Paris 8, Dept. Informatique, Univ. Stuttgart, Inst. f. Informatik, Stuttgart, Juli 1978
[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
[GRI82d]Griss, M.L.: PSL Interest Group, Newsletter \#7, Univ. of Utah, CS Dep., Salt Lake City, Dec. 22, 1982
[GRI82c]Griss, M.L.: PSL Interest Group: Newsletters \#4-6, Univ. of Utah, CS Dep., Salt Lake City, Feb., May, June 1982
[GRI82b]Griss, M.L.: PSL-V3-VAX-Times, Portable Standard LISP (2 Mails), Univ. of Utah, Salt Lake City, March 1982
[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
[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
[GRI81b]Griss, M.L.: PSL Files, Univ. of Utah, Computer Science, Salt Lake City, Aug. 11, 1981
[GRI81a]Griss, M.L.: Portable Standard LISP - A Brief Introduction, Univ. of Utah, Dep. of Computer Science, (801)-581-6542, Salt Lake City, 1981
[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
[GRI78a]Griss, M.L.: MBALM/BIL - A Portable LISP Interpreter, Univ. of Utah, Symbolic Comp. Group, Op. Note 38, Salt Lake City, March 1978
[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
[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
[GRH81]Griss, M.L.; Hearn, A.C.: A Portable LISP Compiler, Software-Practice and Experience, Vol. 11, pp. 541-605 (1981)
[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)
[GRH77]Griss, M.L.; Hearn, A.C.: Standard LISP Compiler, Univ. of Utah, Salt Lake City, Sep. 1977
[GRH73]Griss, M.L.; Hearn, A.C.: A Portable LISP Compiler, University of Utah, Draft, Salt Lake City, 1973
[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
[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
[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
[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
[GSS79]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
[GRS77]Griss, M.L.; Swanson, M.R.: MBALM/1700: A Microprogrammed LISP Machine for the Burroughs B1726, Proc. of MICRO-10, 1977
[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
[GUL66b]Guzman, A.; McIntosh, H.V.: CONVERT, M.I.T., Proj. MAC, MAC-M-316, A.I. Project, A.I.MEMO 99, Cambridge, 1966
[GUL66a]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
[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
[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
[HAL84]Halstead, R.H.jr. The MULTILISP Language: LISP for a Multiprocessor. Conf. on 5th Generation Computers, Tokyo, 1984
[HAM85]Hamann, C.-M.: Einfuehrung in das Programmieren in LISP, de Gruyter, Berlin etc., 1985 (2nd Ed.)
[HAM82b]Hamann, C.-M.: Einfuehrung in das Programmieren in LISP, de Gruyter, Belin etc., 1982
[HAM82a]Hamann, C.-M.: Die Programmiersprache LISP - eine einfuehrende Uebersicht, Elektronik 1, 15. 1. 1982
[HAM87]Hamann, Christian-M. Künstliche Intelligenz - eine einführende Übersicht. Elektronik 9, 30.4.1987
[HAN82]Handsaker, R.E.: Code Generation in the Programmer's Apprentice, M.I.T., A.I. Lab., Working Paper 233, Cambridge, 1981
[HAS79]Haraldson, A.; Stroem, A.: Laborationsmaterial i Data och Programstrukturer, D3, Universitet i Linkoeping, Dept. of Mathematics, Linkoeping, Sep. 1981
[HAR80]Haraldsson, A.: REDUCE - Sprak foer Formelbehandling, Linkoeping Univ., Tekniska Hoegskolan, Datalogi, 1980-02-20, Linkoeping, 1980
[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
[HAR69]Haraldsson, A.: Ett Svenskt Fragebesvarande Program for Slaektskapsrelationer, Uppsala University, Dep. of Comp. Sciences, Report No. 20, Uppsala, May 1969
[HAR75]Hardy, S.: Synthesis f LISP Functions from Examples 4th IJCAI 1975, Tbilissi, S. 240-245
[HAR70]Harrison, M.C.: BALM - An Extendable List-Processing Language, New York University, AEC Contract No. AT (30-1)-1480, New York City, 1970
[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
[HAR61]Hart, T.: Simplify, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 27, Cambridge, 1961
[HAR63b]Hart, T.P.: MACRO Definitions for LISP, M.I.T., A.I. Project, A.I.MEMO 57, Cambridge, 22 Oct. 1963
[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
[HAE63]Hart, T.P.; Evans, T.G.: The M-460 LISP 1.5 System, Air Force Cambridge Research Laboratories, Cambridge, 1963
[HAL62]Hart, T.P.; Levin, M.: The New Compiler, M.I.T., A.I. Project, A.I.MEMO 39, Cambridge, 1962
[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
[HAR84]Harten, L.P., (Ed.): MACSYMA Applications Newsletter, Paradigm Associates, Inc., Vol. 1, No. 1, July 1984
[HAS76]Hasegawa, H.: On the LISP Pretty Reader, 17th Annual Conf., IPSJ, Oct. 1976
[HAS84]Hasemer, T.: Looking at LISP, Addison Wesley, Reading etc., 1984
[HAW67a]Hawkinson, L. LISP 2 Core Image Generator (CIG) Specifications. Tech Memo 1967
[HAW67]Hawkinson, L. LISP 2 Internal Storage Conventions. Tech Memo 1967
[HAW66]Hawkinson, L.: Technical Progress ReporLISP 2 (Period Ending July 6, 1966), Inormation International Inc., Dec. 7, 1966
[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
[HAY81]Hayes-Roth, F.: A Tutorial on Expert Systems: Putting Knowledge to Work, 7th IJCAI - 81, Tutorial Material
[HEA77b]Hearn, A.C.: MAC10 (PDP-10), Univ. of Utah, Salt Lake City, Sep. 1977
[HEA77a]Hearn, A.C.: MAC360 (IBM), Univ. of Utah, Salt Lake City, Sep. 1977
[HEA69]Hearn, A.C.: Standard LISP, Stanford Univ., Art. Intel. Report, Memo AI-90, Stanford, May 1969
[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
[HEA67]Hearn, A.C.: REDUCE Users' Manual, Stanford Univ., Art. Intel. Project, Memo 50, Stanford, Feb. 1967
[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
[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)
[HED84]Hedrick, C.L.: Tops-20 Common LISP, Rutgers Univ., Swiss Cheese Edition, 1984
[HEW76b]Hewitt, C.: Viewing Control Structures as Patterns of Passing Messages, M.I.T., A.I. Lab., A.I.MEMO 410, Cambridge, 1976
[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
[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
[HEW71]Hewitt, C.: Planner Implementation Proposal to Arpa 1972-1973, M.I.T., A.I. Lab., A.I.MEMO 250, Cambridge, 1971
[HEW67]Hewitt, C.: PLANNER: A Language for Proving Theorems, M.I.T., A.I. Project, A.I.MEMO 137, Cambridge, 1967
[HEA80]Hewitt, C.; Attardi, G.: Guardians for Concurrent Systems, M.I.T., A.I. Lab., Working Paper 212, Cambridge, 1980
[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
[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
[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
[HEW70]Hewitt,C.: Teaching Procedures in Human and Robots, M.I.T., Art. Intelligence Lab., A.I.MEMO 208, Cambridge, 1970
[HP86]Hewlett Packard LISP Language Reference (M-Z) HP, Fort Collins, 1986
[HP86]Hewlett Packard LISP Language Reference (A-L) HP, Fort Collins, 1986
[HP86]Hewlett Packard LISP Application Notes HP, Fort Collins, 1986
[HP86]Hewlett Packard LISP Syntax Reference HP, Fort Collins, 1986
[HP85]Hewlett Packard Common LISP Development Environment. HP, Dec. 1985
[HEX64b]Hext, J.: Programming Languages and Translation, Stanford Univ., Art. Intel. Project, Memo No. 19, Stanford, Aug. 14, 1964
[HEX64a]Hext, J.: An Expression Input Routine for LISP, Stanford Univ., Art. Intel. Project, Memo No. 18, Stanford, July 24, 1964
[HEY87]Heyers, Rudolf LisPas II ST. c't 1987, Heft 11
[HIL81]Hillis, W.D.: The Connection Machine, M.I.T., A.I. Lab., A.I.MEMO 646, Cambridge, 1981
[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
[HOE77]Hoed, M. den: Een LISP Interpretator voor de PDP-11, Deel I en II, Afstudeerverslag, M. den Hoed, Sep. 1977
[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
[HTW71b ?]Hoffmann, G.R.; Timner, L.; Wallberg, H.: (Nordstroem)? LISP F 1: Interne Beschreibung, Universitaet Tuebingen, Zentrum f. Datenverarbeitung, Tuebingen, 1971 ?
[HOF84]Hofstadter, D. LISP 3. ???, 2 July 1984
[HOF83]Hofstadter, D. LISP: Recursion and Generality, ???, Apr 1983
[HOF82b]Hofstadter, D. Translations of Goedels 46 Function Definitions into LISP. ???, April 1982
[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
[HOL74b]Holbaek-Hanssen, E.: LISP 3300, LAP 3300, Minicomp, Implementation Guide for CD3300, University of Oslo, Inst. of Math., Oslo, Oct. 1974
[HOL74a]Holbaek-Hanssen, E.: LISP 3300, Vers. 2, University o Oslo, Inst. of Math., Oslo, 1974
[HOL72]Holbaek-Hanssen, E.: LISP 3300, User's Manual, Univ. of Oslo, Inst. of Math., Lecture Note Series, No. 15, Oslo, 1972 o. 73?
[HoOL9]Holbaek-Hanssen, E.: LISP 3300 User's Manual, Version 1, University of Oslo, Inst. of Math., Oslo, Dec. 1969
[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
[HOL85]Holtz, Frederick LISP. The language of Artificial Intelligence. TAB Books (USA) 1985
[HBT82]Horn, W.; Buchberger, E.; Trost, H.: Database Access in LISP, ECAI-82
[HOW75]Howard, F.: PDP-11 LISP, Harvard University, HRSTS Science Center, March 3, 1975
[HOW66]Howard, M.V. Operating Instructions for the LISP 2 Supervisor in the LISP 2 Core Image. Tech Memo 1966
[HUB65]Huberman, B.: The Advice Taker and GPS, Stanford Univ., Art. Intel. Project, Memo No. 33, Stanford, June 10, 1965
[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
[HYS85]Hyvoenen, E.; Seppaenen, J.: LISP-Maailma, Vol. 1 + 2, Knowledge Engineering Ky, NITEC Nokia, Helsinki, 1985
[HYS84]Hyvoenen, E.; Seppaenen, J.: LISP Symbolienkaesittelyn ja tekoaelyn ohjelmointikieli, Teknillinen Korkeakoulu, Nokia Data, Helsinki, Nov. 1984
[HYS83]Hyvoenen, E.; Seppaenen, J.: LISP-Ohjelmointikieli 25 Voutta, Tekniska Hoegskolan Helsingfors, Reaeknecentralen, Res. Rep. 6, Esbo (Finnland), 1983
[IBM62]IBM IBM7090 Data Processing System Reference Manual IBM Corp., A22-6528-4, Poughkeepsie, Sept. 1962
[IBM80]IBM: LISP/370, Program Description/ Operations Manual, IBM, Rep. No. SH20-2076-0, April 27, 1980
[IFI83]Institut fuer Informatik Kuenstliche Intelligenz am IfI der Universitaet Stuttgart. Eine Uebersicht zu Forschung und Lehre. IfI, Stuttgart, 1983
[JEN80]Jenks, R.D.: MODLISP: A Preliminary Design, IBM Watson Res. Center, Res. Rep. RC 8073 (\#35049) 1/18/80, New York, 1980
[JEN77]Jenks, R.D.: LISP/370, A Short Technical Description, IBM, 1977
[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
[JEN70]Jenks. R.D.: META/LISP, An Interactive Translator Writing System, IBM Thomas J. Watson Research Center, RC 2968, New York, July 21, 1970
[JOH77 o. Mas77]Johnson, J.: o. Masinter, L.: Small LISP (SLISP), Xerox PARC, Info, Palo Alto, August 1977
[JOSO85]Johnson, W. Lewis; Soloway, Elliot PROUST. The LISP program automatically debugs the efforts novice Pascal Programmers. Byte 4, 1985, pp. 179 - 190
[JOY85]Joy, B.: Sun CommonLISP Benchmarks - Some Early Results, Sun Microsystems, Sep. 1985
[JUE74]Juergensen, H.: Zur Uebersetzbarkeit von Programmiersprachen, 4. Fachtag. Progr.sprachen, Kiel 5.-7.3. 1974, Springer LNCS 7, Berlin, 1974
[KAH79a]Kahn, K.M.: Director Guide, M.I.T., A.I. Lab., A.I.MEMO 482B, Cambridge, 1979
[KAH78]Kahn, K.M.: Director Guide, M.I.T., A.I. Lab., A.I.MEMO 482, Cambridge, 1978
[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
[KAI86]Kaisler, Stephen H. INTERLISP. The Language and its Usage. John Wiley \& Sons New York u.a. 1986
[KAI72]Kalhoff, B.: Ein Compiler fuer das System LISP 1.5 X8 Kiel, Diplomarbeit, Kiel, 25. 4. 1972
[KAS77]Kalhoff, B.; Simon, F.: LISP 1.5 Programmierhandbuch, Univ. Kiel, Inst. f. Inform. u. Prakt. Math., Bericht 3/77, Kiel, Febr. 1977
[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
[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
[KA66]Kameny, S.L. LISP 2 Source Language Syntax. Specifications for Syntax Translator. Tech Memo 1966
[KAHA65a]Kameny, S.L.; Hawkinson, L. LISP II Internal Storage Conventions. Tech Memo 1965
[KAHA65]Kameny, S.L.; Hawkinson, L. LISP II Intermediate Language. Tech Memo 1965
[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
[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
[KAN81]Kanada. Y.: A Note on the Optimization of Compiler Codes in LISP, Univ. of Tokyo, Computing Centre, Tokyo, ca. 1981
[KAP67]Kaplan, D.M.: Correctness of a Compiler for ALGOL-Like Programs, Stanford Univ., Art. Intel. Project, Memo 48, Stanford, July 19, 1967
[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
[KAP68a]Kaplan, D.M.; A Formal Theory Concerning the Equivalence of Algorithms, Stanford Univ., Computer Science Dep., Memo AI-59, Stanford, 6 May 1968
[KAS80]Kaplan, R.M.; Sheil, B.A.: Adding Type Declarations to InterLISP, Proc. IFIP 80, North Holland, 1980
[KAS86]Karjalainen, M.; Seppaenen J.; Tamminen M. (Hg.) STeP-86 Invited Papers: AI and Philosophy (Vol. 1) Uni of Technology, Helsinki, Aug. 1986
[KAS86]Karjalainen, M.; Seppaenen J.; Tamminen, M. (Hg.) STeP-86 Symposium Papers: Applications (Vol. 3) Uni of Technology, Helsinki, Aug. 1986
[KAS86]Karjalainen,M.; Seppaenen J.; Tamminen M. (Hg.) STeP-86 Symposium Papers: Methodology (Vol. 2) Uni of Technology, Helsinki, Aug. 1986
[KAY75]Kay, K.R.: Appendix - Utah Modifications Stanford Lisp/360 Ref. Manual, 4th Edition, Univ. of Utah, Computational Physics Group, January 1975
[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
[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
[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
[KES79]Kessler, R.: PMETA - Pattern Matching META/REDUCE, Univ. of Utah, Computer Science Dep., USCG Operating Note No. 40, Jan. 1979
[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
[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)
[KPCDKK86]Kessler, R.R; Shebs, S.T; Galway, W.F: EPIC - A Retagetable Highly Optimizing LISP Compiler Proc. SIGPLAN 1986
[KLI70]Kling, R.E.: SRI - Trace Package for PDP-10 LISP, Stanford Research Institute, AIG Technical Note 37, Stanford, September 1970
[KN75]Knight, T.: CONS AI Lab, MIT, Cambridge, 1975
[KNI79b]Knight, T.: ? LISP Machine Internal Storage Formats, LISP Machine Documentation LMDOC;FORMAT, Feb. 21, 1979
[KNI79a]Knight, T.: ? The LISP Machine Macro-Instruction Set, LISP Machine Documentation LMDOC;MACRO, Feb. 21, 1979
[KOB73]Koffman, E.B.; Blount, S.E.: Artificial Intelligence and Automatic Programming in CAI, 3. IJCAI, 1973
[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
[KOM77]Kolar, J.; Mueller, K.: Specialni Programovaci Jazyky, Ceske Vysoke Uceni Technicke V Praze, Praha, 1977
[KOM74]Kolar, J.; Mueller, K.: Programovaci Jazyk TESLA - LISP 1.5, (I. u. II. Teil), Praha, 1974
[KO85]Kolb, D.: InterLISP-D, Ein Werkzeug fuer Rapid Prototyping, Siemens AG, Muenchen, 1985
[KO81]Komorowski, H.J. QLOG - The Programming Environment for PROLOG in LISP. Linkoeping Univ., Softw. Systems Res. Center, Linkoeping, 1981 pp. 315-322
[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
[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
[KOR80]Kornfeld, W.A.: A Synthesis of Language Ideas for AI Control Structures, M.I.T., A.I. Lab., Working Paper 201, Cambridge, 1980
[KOR79b]Kornfeld, W.A.: Using Parallel Processing for Problem Solving, M.I.T., A.I. Lab., A.I.MEMO 561, Cambridge, 1979
[KOR79a]Kornfeld, W.A.: Pattern-Directed Invocation Languages, Byte, Vol. 4, No. 8, Aug. 1979, pp. 34-48
[KOR65]Korsvold, K.: An ON LINE Algebraic Simplify Program, Stanford Univ., Art. Intel. Project, Memo No. 37, Stanford, Nov. 10, 1965
[KOT80]Koton, P.A.: Simulating a Semantic Network in LMS, M.I.T., A.I. Lab., Working Paper 206, Cambridge, 1980
[KOT81]Koton, P.E.: Representing Constraint Systems with Omega, M.I.T., A.I. Lab., Working Paper 222, Cambridge, 1981
[KLS75]Krause, D.; Laubsch, J.; Schatz, W.: MACLISP - Sprachbeschreibung, Univ. Stuttgart, Inst. f. Informatik, CUU-Memo 2, Stuttgart, 1975
[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
[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
[KUI75]Kuipers, B.J.: A Frame for Frames: Representing Knowledge for Recognition, M.I.T., A.I. Lab., A.I.MEMO 322, Cambridge, 1975
[KUR81]Kurokawa, T.: A New Fast and Safe Marking Algorithm, Software-Practice and Experience, Vol. 11., pp. 671-682 (1981)
[KUR80]Kurokawa, T.: LISP in Japan - From Past to Future, Electrotechnical Lab., Tokyo, 1980
[KUR79e]Kurokawa, T.: LISP 1.9 Compiler, Feb. 1979
[KUR79d]Kurokawa, T.: The Function Class, Draft, Electrotechn. Lab., Tokyo, 1979
[KUR79c]Kurokawa, T.: A New Fast and Safe Marking Algorithm, Software - Practice \& Eperience, Vol. 11 (1981), pp. 671-682
[KUR79b]Kurokawa, T.: Fast Interpreter of LISP 1.9, Journal of Information Processing, Vol. 2, No. 2, July 1979, pp. 81-88
[KUR79a]Kurokawa, T.: LISP Activities in Japan, Information Systems Lab., Toshiba R \& D Center, Kawasaki, Japan, ca. 1979
[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
[KUR78a]Kurokawa, T.: Input/Output Facilities in LISP 1.9, Draft, 1978
[KUR76c]Kurokawa, T.: Why is the LISP 1.9 Inerpreter so Fast ?, Information Systems Lab., Toshiba R \& D Center, Kawasaki, Japan, ca. 1976
[KUR76e]Kurokawa, T.; LISP 1.9 Programming System, Journal (?), IPSJ, Vol. 17 (1976), No. 11, pp. 1056-1063
[KUR76d]Kurokawa, T.; Comparism with MACLISP, Electrotech. Lab., Manuscript, ca. 1976
[KUR76b]Kurokawa, T.; Data Representations of LISP with an Experience on TOSBAC-5600 LISP, Journal (?) IPSJ, Vol. 17 (1976), No. 2, pp. 127-132
[KUR76a]Kurokawa, T.; LISP User's Manual, .... EPICS-5-ON-2, Mar. 31, 1976
[KU75]Kurotschkin, W.M. (ed.): Obrabotka Simwolnoi Informazii, Academy of Sciences of the USSR, Computer Center, 1975
[KWD75]Kweselawa, D.A., Dekanosidse, E.N.: Woproci wytschislitenoi Matematiki i Programmirowania Isdatelstwo Mezniereba, Tbilissi, 1975
[LAU83]Laubsch, J. H. LISP-Maschinen. Computer Magazin 7/8 1983 pp. 50-53
[LAU83]Laubsch, J.: Advanced LISP Programming, (Preprint aus Artificial Intelligence, 1984), Univ. Stuttgart, Stuttgart, 1983
[LAU82b]Laubsch, J.: Programmiermethoden in der Kuenstlichen Intelligenz Forschung, Univ. Stuttgart, Stuttgart, Januar 1982
[LAU82a]Laubsch, J.: LISP Programming Techniques, (Draft), Univ. Stuttgart, Inst. f. Informatik, Stuttgart, Oktober 1982
[LFB79]Laubsch, J.; Fischer, G.; Bocker, H.D.: LISP Based Systems for Education, BYTE, Vol. 4, No. 8, August 1979, pp. 18-24
[LAH85]Laubsch, J.H.; Hedrick, C.: Common LISP and Lexical Bindings, Report of Meeting about Common LISP, Univ. Stuttgart, Mails, Stuttgart, Feb. 1985
[LHR77]Laubsch, J.H.; Hess, K.; Rathke, C.: Erweiterungen MACLISP, Univ. Stuttgart, Inst. f. Informatik, CUU-Memo-8., Stuttgart, Dez. 1977
[LKHS76]Laubsch, J.H.; Krause, D.; Hess, K.; Schatz, W.: MACLISP Manual, (deutsch), Univ. Stuttgart, Institut f. Informatik, CUU-Memo-3, Stuttgart, Mai 1976
[LA73]Lawrow, S.S. (ed.): Obrabotka Simwolnoi Informazii, Academy of Sciences of the USSR, Computer Center, 1973
[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
[FAI77]LeFaivre, R.: Rutgers/UCI LISP Manual, Rutgers Univ., Computer Science Dep., April 24, 1977
[LEB80]Lebling, P.D.: The MDL Programming Environment, M.I.T., Computer Science Lab., MIT/LCS, Cambridge, Mass., May 1980
[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
[LE74]Leppert, M.: LISP - Sstem fuer den TR440, TU Muenchen, Abteilung Informatik, Muenchen, 1974
[LEV65e]Levin, M.: LISP II Memo 13: Programming Examples, Information International, Inc., Cambridge, Mass., August 23, 1965
[LEV65d]Levin, M.: LISP II Project, Memo 7, Information International, Inc., Cambridge, Mass., 1965
[LEV65c]Levin, M.: LISP II Project, Memo 1B: Corrections to Memo 1A, Information International, Inc., Cambridge, Mass., March 8, 1965
[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
[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
[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
[LEV64b]Levin, M.: New Language Storage Conventions, M.I.T., Proj. MAC, MAC-M-159, A.I. Project, A.I.MEMO 69, Cambridge, 1964
[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
[LEV63b]Levin, M.: LISP Problem 1 and Correction to LISP Problem 1, LISP Problem 2, Massachusetts Inst. of Technology, Cambridge, November 27, 1963
[LEV63a]Levin, M.: Primitive Recursion, M.I.T., A.I. Project, A.I.MEMO 55, Cambridge, 11 July 1963
[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
[LEV61b]Levin, M.: Errorset, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 26, Cambridge, 1961
[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
[LEB81]Levitan, S.P.; Bonar, J.G.: Three Microcomputer LISP's, BYTE, Sep. 1981
[LEW76]Lewis, E.: An Introduction to ITS for the MACSYMA User, M.I.T., Mathlab. Memo \#3, Cambridge, Mass., April 28, 1976
[LIE82]Lieberman, H.: Seeing What Your Programs are Doing, M.I.T., A.I. Lab., A.I.MEMO 656, Cambridge, 1982
[LIE81c]Lieberman, H.: Logo Turtle Graphics for the LISP Machine, M.I.T., A.I. Lab., Working Paper 214, Cambridge, 1981
[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
[LIE81a]Lieberman, H.: A Preview of Act 1, M.I.T., A.I. Lab., A.I.MEMO 625, Cambridge, 1981
[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
[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
[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
[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
[LIFR86]Lieberman, Henry; Fry, Christopher Common EVAL. Artificial Intelligence Laboratory MIT 1986
[APP85b]Lisp Machine Inc. Applied Intelligence Vol. 2, Number 3 Special IJCAI-85 Issue ???
[APP85]Lisp Machine Inc. Applied Intelligence Vol. 2, Number 2 July, 1985 ???
[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
[LON72]London, R.L.: Correctness of a Compiler for a LISP SUBSET, SIGPLAN Notices, January 1972
[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
[LON67]Long, Robert E. LISP 2 Storage Managemen Paging of Binary Programs. Tech Memo 1967
[LOW80]Lowney, P.G.: Technical Correspondence: On Iverson's Operators, ACM Transactions on Progr. Lang. Syst., Vol. 2, No. 2, April 1980
[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
[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
[LUX78]Lux, A.: LISP - IRIS - 80: Manuel d'Utilisation, Univ. de Grenoble, Mathematiques Appl. et Informatique, Grenoble, Fev. 1978
[LUX75b]Lux, A.: Implementing LISP Using an Abstract Machine, FCIP 75, Bled, 1975
[LUX75a]Lux, A.: Etude d'un Modele Abstrait pour une Machine LISP et de son Implantation, These de 3* Cycle, Grenoble, 19 Mas 1975
[LUX73]Lux, A.: LISP sous CMS, IMAG, Grenoble, 1973
[MU86]Müller, Dieter Eine elementare Einführung in die Programmierung nichtnumerischer Aufgaben. Mannheim 1986
[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
[MAMW84]Malachi, Y.; Manna, Z.; Waldinger, R. TABLOG: The Deductive-Tableau Programming Language. ACM Symp. LISP \& FP, 1984, pp. 323-330
[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
[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
[MAL81]Maluszynski, J.: Towards a Programming Language Based on the Notion of Two-Level Grammar, Linkoeping Univ., Linkoeping, Sweden, 1981
[MAN85]Manuel, T.: The Pell-Mell Rush Into Expert Systems Forces Integration Issue, Electronics, July 1985, pp. 54-59
[MAR80]Marshall, M.: LISP Computers Go Commercial, Electronics, Nov. 20, 1980
[MHGG83]Marti, J.; Hearn, A.C.; Griss, M.L.; Griss, C.: Standard LISP Report, SIGPLAN Ntices, 1983, pp. 48-68
[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
[MAR81b]Marti, J.B.: LISP for the TRS-80, Dept. of Computer and Information Sciences, CIS-TR-81-9, Univ. of Oregon, Eugene, 1981
[MR80]Marti, J.B.: Little Big LISP, (Draft), University of Utah, Utah Symbolic Computation Group, Operating Note No. 46, Salt Lake City, Aug. 1980
[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
[MAR81c]Marti, J.B: Little Big LISP, Dept. of Computer and Information Sciences, CIS-TR-80-18, Univ. of Oregon, Eugene, May 1981
[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
[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
[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)
[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
[MAR65c]Martin, W.A.: A Version of LISP for the PDP-6, DECUS Proceedings 1965
[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
[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
[MAM70]Martin, W.A.; Moses, J.: Mathlab (MACSYMA), M.I.T., MAC-Progress Report V, July 1969 to July 1970, Cambridge, 1970
[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
[MAS80]Masinter, L.M.: Global Program Analysis in an Interactive Environment, Xerox PARC, SSL-80-1, Palo Alto, Jan. 1980
[MAG77]Mathlab Group: MACSYMA Reference Manual, Version 9, M.I.T., Lab. for Computer Science, Cambridge, Mass., Dec. 1977
[MAT75]Mathlab Group: MACSYMA Primer, M.I.T., Project MAC, Cambridge, Mass., Oct. 29, 1975
[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
[MC84]McCabe, F.G.: The Sigma Machine ? (Imperial College, London), Oct. 1984
[MC81]McCarthy, J. History of LISP (LISP Session Part IV) LISP Session, 1981 und: Wexelblatt, Richard L., History of Programming Languages. New York: Academic Press 1981
[MCC82]
McCarthy, J.: Coloring Maps and the Kowalski Doctrine, Stanf. Univ., Comp. Sc. Dep., STAN-CS-82-903, AIM-346, Stanford, April 1982
[MCC78]McCarthy, J.: History of LISP, SIGPLAN Notices, Vol. 13, No. 8, Aug. 1978
[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
[MCC77b]McCarthy, J.: History of LISP, Stanford Univ., Art. Int. Lab., Manuscript, Stanford, 1977
[MCC77a]McCarthy, J.: Recursive Programming in LISP, Stanford Univ., Stanford, March 23, 1977
[MCC74]McCarthy, J.: Talk on LISP-History, M.I.T., 1974, M.I.T., Manuscript (of a Recording, July 10, 1975), Cambridge, 1974
[MCC65c]McCarthy, J.: Plans for the Stanford Artificial Intelligence Project, Stanford Univ., Art. Intel. Project, Memo 31, Stanford, April 20, 1965
[MCC65b]McCarthy, J.: Problems in the Theory of Computation, Stanford Univ., Art. Intel. Project, Memo 28, Stanford, March 11, 1965
[MCC65a]McCarthy, J.: A Proof-Checker for Predicate Calculus, Stanford Univ., Art. Intel. Project, Memo 27, Stanford, March 3, 1965
[MCC64c]McCarthy, J.: A Formal Description of a Subset of ALGOL, Stanford Univ., Art. Intel. Project, Memo No. 24, Stanford, Sep. 24, 1964
[MCC64b]McCarthy, J.: Formal Description of the Game of Pang-Ke, Stanford Univ., Art. Intel. Project, Memo No. 17, Stanford, July 20, 1964
[MCC64a]McCarthy, J.: Computer Control of a Machine for Exploring Mars, Stanford Univ., Art. Intel. Project, Memo No. 14, Stanford, June 15, 1964
[MCC63c]McCarthy, J.: Storage Conventions in LISP 2, Stanf. Univ., A.I. Project, Memo No. 8 (Preliminary), Stanford, Sep. 26, 1963
[MCC62e]McCarthy, J.: Towards a Mathematical Science of Computation, Proceedings IFIP 1962
[MCC62d]McCarthy, J.: Time-Sharing Computer Systems, Martin Greenberger (Ed.): Computers and the World of the Future, MIT Press, Cambridge, 1962, pp. 225-231
[MCC62c]McCarthy, J.: Computer Programs for Checking Mathematical Proofs, Proceedings of Symposia in Pure Mathem., Vol. 5, AMS, Providence, 1962
[MCC62b]McCarthy, J.: A New Eval Function, M.I.T., A.I. Project, A.I.MEMO 34, Cambridge, 1962
[MCC62a]McCarthy, J.: On Efficient Ways of Evaluating Certain Recursive Functions, M.I.T., A.I. Project, A.I.MEMO 32, Cambridge, 1962
[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
[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
[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
[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
[MCC59o]McCarthy, J.: LISP: A Programming System for Symbolic Manipulations, Extended Abstract, ACM Annual Meeting, Cambridge, September 1959
[MCC59n]McCarthy, J.: Can a Machine Think ?, McCarthy, John, M.I.T., (Short Journal Article), Cambridge, 1959
[MCC59m]McCarthy, J.: Letter to the Editor, Communications of the ACM, Vol. 2 No. 8, August 1959, pp. 2-3
[MCC59l]McCarthy, J.: Artificial Intelligence, Massachusetts Inst. of Technology, A.I. Group, Cambridge, Summer 1959
[MCC59k]McCarthy, J.: Programs in LISP, M.I.T. A.I. Proj., RLE and MIT Comp. Cent., A.I.MEMO 12, Cambridge, May 1959
[MCC59j]McCarthy, J.: The Form of Programs in the System, Manuscript, 1959 ?
[MCC59i]McCarthy, J.: Memo LISP Program for INST., Massachusetts Inst. of Technology, Cambridge, 1959
[MCC59h]McCarthy, J.: Artificial Intelligence, M.I.T., Electr. Res. Lab., Quart. Prog. Rep. 53, Cambridge, 15 April 1959
[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
[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
[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
[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
[MCC59c]McCarthy, J.: Notes on the Compiler, M.I.T., A.I. Proj., RLE and MIT Comp. Center, A.I.MEMO 7, Cambridge, 1959
[MCC59b]McCarthy, J.: On Operator Systems, Mass. Inst. of Technology, Computation Center, Cambridge, Feb. 16, 1959
[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
[MCC58l]McCarthy, J.: Programs with Common Sense, Symposium on the Mechanization and Thought Processes, Nat. Phys. Lab., Teddington (England), 24-27 Nov. 1958
[MCC58k]McCarthy, J.: Notes on Debugging LISP Subroutines, Handwritten Manuscript, ca. November 1958
[MCC58j]McCarthy, J.: Notes on Debugging LISP Subroutines, Manuscript
[MCC58i]McCarthy, J.: The Form of Programs in the System, Manuscript, 1958
[MCC58h]McCarthy, J.: Additional Functions, Handwritten Manuscript f. AIM 5
[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
[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
[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
[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
[MCC58c]McCarthy, J.: An Algebraic Language for the Manipulation of Symbolic Expressions, (Draft), Massachusetts Inst. of Technology, AIM 1, Cambrdge, 1958
[MCC58b]McCarthy, J.: Some Proposals for the Volume 2 (V2) Language, Letter to A.J. Perlis and W. Turanski
[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
[MCC57e]McCarthy, J.: A Proposal for a Compiler, M.I.T., Computation Center, CC-56, Cambridge, December 13, 1957
[MCC57d]McCarthy, J.: Suggestions for Fundamental Research in Letter Recognition, IBM Research Report, IR-00108, April 29, 1957
[MCC57c]McCarthy, J.: Mathematics and the Programming of Digital Calculators, Manuscript, ca. 1957
[MCC57b]McCarthy, J.: The Artificial Intelligence Problem and the Natural Intelligence Problem, Manuscript, ca. 1957
[MCC57a]McCarthy, J.: The Programming Problem, (Handwritten), Manuscript, ca. 1957
[MCC55]McCarthy, J.: List of People Interested in the Artificial Intelligence Problem. Manuscript, ca. 1955
[MCC80]McCarthy, J.; LISP - Noes on its Past and Future, Stanford Univ., File LISP[E80,JMC], Stanford, Aug. 18, 1981
[MCC69]McCarthy, J.; A.I. Project Staff: Project Technical Report, Stanford Art. Intel. Project, Memo AI-87, Stanford, 1969
[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
[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.)
[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
[MCFS68]McCarthy, J.; Feigenbaum, E.; Samuel, A.: Project Technical Report, Stanf. Univ., Art. Intelligence Project, Memo AI-69, Stanford, 13 Sep. 1968
[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
[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
[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
[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
[MCMI59]McCarthy, J.; Minsky, M.L.: Artificial Intelligence, M.I.T., Res. Lab. of Electronics, Quart. Prog. Rep. 52, Cambridge, Jan. 1959
[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
[MCMI58b]McCarthy, J.; Minsky, M.L.: Artifical Intelligence, M.I.T., Computation Center, Semi-Annual Report No. 4, Cambridge, Dec. 1958
[MCMI58a]McCarthy, J.; Minsky, M.L.: Artifical Intelligence, M.I.T., Computation Center, Semi-Annual Report No. 3, Cambridge, June 1958
[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
[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
[MCRE59]McCarthy, J.; Russell, S.R.; Edwards, D.; etc.: LISP Programmers Manual, (Handwritten Draft + Machine Typed), Massachusetts Inst. of Technology, Cambridge, Nov. 1959
[MCT80]McCarthy, J.; Talcott, C.: LISP Programming and Proving (Contents only), Stanford Univ., Stanford, Sep 15, 1980
[MCCT78]McCarthy, J.; Talcott, C.: LISP Programming and Proving, Stanford Univ., Stanford, March 21, 1978
[MCC63b]McCarthy, J.; et al.: Corrections to LISP 1.5 Manual, Mass. Inst. of Techn., RLE and MIT Computation Center, Cambridge, 1963 ?
[MCC63a]McCarthy, J.; et al.: LISP 1.5 Programmer's Manual, Errata, Mass. Inst. of Techn., RLE and MIT Computation Center, Cambridge, July 1963
[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
[MCC60c]McCarthy, J.; et al.: Artificial Intelligence, M.I.T., Res. Lab. for Electr., Quarterly Rep. No. 56, Cambridge, 15 Jan. 1960
[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
[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
[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
[MCD74]McDermott, D.: Advice on the Fast-Paced World of Electronics, M.I.T., A.I. Lab., Working Paper 71, Cambridge, 1974
[MCDD78]McDermott, D.; Doyle, J.: Non-Monotonic Logic I, M.I.T., A.I. Lab., A.I.MEMO 486, Cambridge, 1978
[MCD75]McDermott, D.V.: Very Large Planner-Type Data Bases, M.I.T., A.I. Lab., A.I.MEMO 339, Cambridge, 1975
[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
[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
[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
[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
[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
[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
[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
[MEE79]Meehan, J.R.: The New UCI-LISP Manual, Lawrence Erlbaum Associates, Hillsdale, 1979
[ME86]Meek, B.L.: Looking to a single language standard Computing, Vol. (1986), March 20, p.21
[MEL75]Melenk, H.: LISP - Ablagefunktion, C-Intrpreter, Grossrechenzentrum Berlin, Berlin, 1975
[MEL73]Melenk, H.; Luegger, J.: Darstellung \& Bearbeitung umfangreicher LISP - Programme, Anewandte Informatik 6/73, S. 257-264
[MEMONe88]Melenk, H.; Möller, H.M.; Neun, W. On Gröbner Bases Computation on a supercomputer Using REDUCE. Konrad-Zuse-Zentrum für Informationstechnik. Berlin 1988
[MER73]Melenk, H.; Roitzsch, R.: LISP 1.5 fuer den TR 440, Grossrechenzentrum f.d. Wissenschaft in Berlin, Nov. 1973
[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
[MMM81]Messina, S.; Miola, A.; Motisi, F.: Un Sistema LISP per il VAX, Scuola Superiore Gugliemo Reiss Romoli, L'Aquila, Italia, ca. 1981
[MEMM82]Messina, S.; Miola, A.; Motisi,F: Un Sistema LISP per il VAX Scuola Superiore Gugliemo Reiss Romoli, L'Aquila, 1982
[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
[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
[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
[MEY67]Meyer, E.W. jr.: LISP - A Prototype Machine Language for a LISP Computer, ... January 9, 1967
[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
[MIL75]Miller, P.B.: Strategy Selection in Medical Diagnosis, M.I.T., Project MAC, MAC TR-153, Cambridge, Mass., Sep. 1975
[MIN74]Minsky, M.: A Framework for Representing Knowledge, M.I.T., A.I. Lab., A.I.MEMO 306, Cambridge, 1974
[MIN72]Minsky, M.: Proposal to Arpa for Continued Research on A.I., M.I.T., A.I. Lab., A.I.MEMO 269, Cambridge, 1972
[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
[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
[MIP70]Minsky, M.; Papert, S.: Artificial Intelligence, M.I.T., MAC Progress Report V, July 1969 to Dec. 1970, Cambridge, 1970
[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
[MIP69]Minsky, M.; Papert, S.: Progress Report 1968 - 1969, M.I.T., AI Memo 200, Cambridge, Mass., 1969
[MIN66]Minsky, M.L.: Artificial Intelligence, M.I.T., A.I. Lab., Proj. MAC, Progress Report III, 1965-1966, Cambridge, 1966
[MIN65b]Minsky, M.L.: Artificial Intelligence, M.I.T., MAC - Progress Report No. II, 1964-1965, Cambridge, 1965
[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
[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
[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
[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
[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
[MIP67]Minsky, M.L.; Papert, S.A.: Research on Intelligent Automata, M.I.T., Project MAC, Progress Report IV, 1966-67, Cambridge, 1967
[MIN65a]Minsky, M.L.; et al.: Artificial Intelligence, M.I.T., RLE, Quarterly Progress Rep. No. 76, Cambridge, 15 Jan. 1965
[MIN63e]Minsky, M.L.; et al.: Artificial Intelligence, M.I.T., Res. Lab. of Electr., Quart. Prog. Rep. 68, Cambridge, 15Jan. 1963
[MIT64]Mitchell, R.W.: LISP 2 Specifications Proposal, Stanford Univ., Art. Intel. Project, Memo No. 21, Stanford, Aug. 19, 1964
[MPT75]Montangero, C.; Pacini, G.; Turini, F.: MAGMA-LISP: A "Machine Language" for Artificial Intelligence, Proc. 4th ISCAI, Tbilisi, Sept. 1975
[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
[MOO71]Moon, B.A.M.: List-Processing in Plain FORTRAN, The Australian Computer Journal, Vol. 3, No. 3, August, 1971
[MOO81b]Moon, D.A.: Lisp Machine Choice Facilities, M.I.T., A.I. Lab., Working Paper 208A, Cambridge, 1981
[MOO8a]Moon, D.A.: Chaosnet, M.I.T., A.I. Lab., A.I.MEMO 628, Cambridge, 1981
[MOO74]Moon, D.A.: MACLISP Reference Manual, M.I.T., Project MAC, Cambridge, Mass., April 1974
[MOO78]Moon, D.A.: (?) The MACLISP Language, Part 1-3, M.I.T., A.I. Lab., Cambridge, July 27, 1978
[MOO75c]Moon, D.A.: ? MACLISP Reference Manual, M.I.T., Project MAC and A.I. Lab., Cambridge, Mass., Dec. 17, 1975
[MOW81]Moon, D.A.; Wechsler, A.C.: Operating the Lisp Machine, M.I.T., A.I. Lab., Working Paper 209, Cambridge, 1981
[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
[MOO75b]Moore, J.S.: Introducing Iteration into the Pure LISP Theorem Prover, IEEE Transactions on Software Engineering, Vol. Se-1, No. 3, Sept. 1975
[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
[MOO73]Moore, R.C.: D-ScripA Computational Theory of Descriptions, M.I.T., A.I. Lab., A.I.MEMO 278, Cambridge, 1973
[MOR56]More, T.: Report from Dartmouth Conference on Artificial Intelligence. IBM Research Report, IR-00057, July 31, 1956
[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
[MOR82]Morrison, B.: BigNum Structure and "Constants", ..... 4 June 1982
[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
[MOS70a]Moses, J.: The Function of FUNCTION in LISP (Draft), M.I.T., Cambridge, Mass., 197
[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
[MOS66b]Moses, J.: Symbolic Integration II, M.I.T., A.I. Lab., Proj. MAC, MAC-M-327, A.I.MEMO 97A, Cambridge, 1966
[MOS66a]Moses, J.: Symbolic Integration, M.I.T., A.I. Lab., Proj. MAC, MAC-M-310, A.I.MEMO 97, Cambridge, 1966
[MU84]Mulhall, T. LISP and PROLOG - Expert Languages ? DEC User, Feb. 1984, pp. 59-60
[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
[NEME88]Neun, Winfried; Melenk, Herbert Implementation of the LISP-Arbitrary. Precision Arithmetic for a Vector Processor. Konrad-Zuse-Zentrum für Informationstechnik. Berlin 1988
[NEV72]Nevins, A.J.: A Human Oriented Logic for Automatic Theorem Proving, M.I.T., A.I. Lab., A.I.MEMO 268, Cambridge, 1972
[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
[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
[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
[NIL73]Nilsson, N.J.: Pajaro Dunes Workshop on Automatic Problem Solving, Final Report, Stanford Research Institute (SRI), SRI Project 2527, Stanford, July 1973
[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
[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
[NOR78]Nordstrom, M.: LISP F3 Implementation Guide and System Description, Uppsala Univ., Sweden, Datalogilaboratoriet, Uppsala, June 1978
[NOR69b]Norman, E.: LISP, UNIVAC 1108 Reference Manual, Madison Academic Conp. Cntr., Madison, Wisconsin, USA, ca. 1969
[NOR69a]Norman, E.: The Implementation of LISP on the UNIVAC 1108, Madison Academic Conp. Cntr., Madison, Wisconsin, USA, ca. 1969
[NOR75]Norman, Eric LISP Primer. Academic Computing Center Madison, Wisconsin 1975
[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
[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
[NOV82]Novak, G.S. Jr.: GLISP User's Manual, Stanf. Univ., Comp. Sc. Dep., STAN-CS-82-895, HPP-82-1, Stanford, Jan. 1982
[NOV83b]Novak, G.S.jr.: CS 102 LISP Assignment \#6, Stanford, 1983
[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
[NOV82]Novak, G.S.jr.: Data Abstraction in GLISP, Stanford Univ., CS Dep., Heuristic Progr. Proj., HPP-82-34, Stanford, 1982
[O'KE83]O'Keefe, R.A. PROLOG Compared with LISP ? SIGPLAN Notices, V18 \#5, May 1983, pp. 46-56
[OAK84]Oakey, S.: LISP for Micros, Newnes Technical Books, Sevenoaks, 1984
[OHl85]Ohlbach, H.J. Vergleich der Softwareentwicklungsumgebung auf einer konventionellen und einer LISP Maschine. KI-Rundbrief 1985
[PA86]Padget, J.: Status Report on the European Initiative on LISP Standardisation University of Bath, School of Mathematics, Bath, May 1986
[PAD85]Padget, J.: Current Developments in LISP, Univ. of Bath, England, School of Mathematics, 1985
[PA84]Padget, J.: The Preservation of the Environment University og Bath, School of Mathematics, PhD.Thesis, Bath, 1984
[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
[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
[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
[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
[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
[PAP71b]Papert, S.: Teaching Children Thinking, M.I.T., A.I. Lab., A.I.MEMO 247, Logo Memo 2, Cambridge, 1971
[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
[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
[ACM82]D.Park. (ed.) Conf. Record of the 1982 ACM Symposium on LISP and Functional Programming, ACM Order No. 552820, ACM, New York, 1982
[PA66]Parrish, J. F. t. Real-Time Garbage ollecting for LISP. M.I.T., Cambridge, Mass., 23 May 1966
[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
[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
[PIT84]Pitman, K.: The Descpription of Large Systems, M.I.T., A.I. Lab., A.I.MEMO 801, Cambridge, 1984
[PIT83b]Pitman, K.: Interfacing to the Programmer's Apprentice, M.I.T., A.I. Lab., Working Paper 244, Cambridge, 1983
[PIT83a]Pitman, K.M.: The Revised MACLISP Manual, M.I.T., Computer Science Lab., MIT/LCS/TR-295, Camridge, Mass., 21 May 1983
[PIT81]Pitman, K.M.: MACLISP Manual, M.I.T., The Pitmanual, Draft \#4, Cambridge, Mass., May 31, 1981
[PLA76]Plath, W.J.: REQUESA Natural Language Question - Answering System, IBM J. Res. Develop., July 1976
[POE72]Poel, W.L. van der: Advanced Course on Programming Languages and Data Structures, University of Technology, Delft, June 12-23, 1972
[POL78 ?]Polcha, A.E.: ? LISP/370 Prospect, IBM Corp., Data Processing Division, 6320-6061-0, White Plains, N.Y., 1978
[PO85]Pope, St. T. Vorlesungs-Skript zu KI-Anwendungen und Software Tools PCS, Muenchen, Mar 1985
[POT75]Potari, F.: The LISP 1.5/R10 Programming System, Telecommunication Research Institute Budapest, August 10, 1975
[POU82]Pournelle, J.: Semidisk, Software Tools, the BDOS Blues, Power, and LISPs, Byte, Aug. 1982
[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
[PRA75]Pratt, V.: CGOL Source, M.I.T., Project MAC, Cambridge, Mass., 1975
[PRA79]Pratt, V.R.: A Mathematician's View of LISP, Byte, Vol. 4, No. 8, Aug. 1979, pp. 162-168
[PRA77]Pratt, V.R.: The Competence/Performance Dichotomy in Programming, M.I.T., A.I. Lab., A.I.MEMO 400, Cambridge, 1977
[PRA73b]Pratt, V.R.: A Linguistics Oriented Programming Language, M.I.T., A.I. Lab., A.I.MEMO 277, Cambridge, 1973
[PRA73a]Pratt, V.R.: Top Down Operator Precedence, ACM Symp. on Principles Prog. Languages 1973
[PRA76]Pratt, V.R: CGOL - An Alternative External Representation for LISP Users, M.I.T., A.I. Lab., Working Paper 121, Cambridge, 1976
[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
[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
[PRI88b]Primio, Franco di Viewing Reasoning as Program Execution. Arbeitspapiere der GMD 1988
[PRI88]Primio, Franco di Micro Common Flavors. Arbeitspapiere der GMD 1988
[PRR79]Prini, G.; Rudalics, M.: The Lambdino Storage Management System, Byte, Vol. 4, No. 8, Aug. 1979, pp. 26-32
[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
[MAC70]Project MAC: Personnel, July 1969 to July 1970, M.I.T., MAC-Progress Report V, Cambridge, 1970
[QUA67]Quam, L.: LISP Display Functions, Stanford Art. Intell. Laboratory, Operating Note 7, Stanford, 15 Feb. 1967
[QUE83]Queinec, Christian LISP New York 1983
[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
[QU87]Queinnec, Chr. Denotational Semantic for LISP. LIThPR, Apr. 1987
[QUE84]Queinnec, Christian Langage d'un autre type : LISP. Paris 1984
[RAP63b]Raphael, B.: Operation of a Semantic Question-Answering System, M.I.T., A.I. Proj., A.I.MEMO 59, Cambridge, 1 Nov. 1963
[RAP63a]Raphael, B.: Computer Representation of Semantic Information, M.I.T., A.I. Proj., A.I.MEMO 49, Cambridge, 3 April 1963
[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
[RAP83]Raphals, L.A.: ZMACS, Introductory Manual, LMI, Cambridge, 1983
[RAS83]Raphals, L.A.; Smith, S.: Introduction to the LISP System, Operations Manual, LMI, Cambridge, 1983
[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
[RED75]Reddy, D.R.: Speech Recognition by Machine: A Review, Carnegie-Mellon Univ., Pittsburgh, PA, 1975
[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
[REM79]Reiter, R.; Mackworth, A.: LISP Notes, Univ. of British Columbia, Dep. of Computer Science, Notes No. 312, July 1979
[RIC81]Rich, C.: Inspection Methods in Programming, M.I.T., Artificial Intelligence Lab., AI-TR-604, Cambridge, Mass., June 1981
[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
[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
[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
[RIW81]Rich, C.; Waters, R.C.: Abstraction, Inspection and Debugging, M.I.T., A.I. Lab., A.I.MEMO 634, Cambridge, 1981
[RIS76]Rich, C; Shrobe, H.E.: Initial Report on a LISP Programmer's Apprentice, M.I.T., Cambridge, Mass., Dec. 1976
[RIE73]Rieser, H.: Grammars and the Evaluation Problem, D. Reidel Publishing Company, Studies in Text Grammar, pp. 276-99, Dordrecht-Holland, 1973
[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
[RIS73]Risch, T.: REMREC - A Program for Automatic Recursion Removal in LISP, Uppsala Univ., Datalogilaboratoriet, Rep. No. DLU 73/24, Uppsala, Nov. 1973
[ROG77b]Roberts, R.B.; Goldstein, I.P.: The FRL Manual, M.I.T., A.I. Lab., A.I.MEMO 409, Cambridge, 1977
[ROG77a]Roberts, R.B.; Goldstein, I.P.: The FRL Primer, M.I.T., A.I. Lab., A.I.MEMO 408, Cambridge, 1977
[ROS82]Robinson, J.A.; Silbert, E.E. LOGLISP: An Alternative to Prolog. Edinburgh Univ. Press, Machine Intelligence 10, Edinburgh, 1982, pp. 399-419
[ROB75]Robinson, R.: Engineering of Quality Software Systems; Towards an Analysis of the LISP Programming Language, MITRE Corp., January 1975
[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
[ROC58]Rochester, N.: Symbol Manipulating Language, M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 5, Cambridge, 1958
[ROI75]Roitzsch, R.: LISP - Anleitung, (2. Auflage), Grossrechenzentrum f. d. Wissenschaft in Berlin (GRZ), Berlin, Sept. 1975
[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
[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)
[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
[ROW76]Rowe, N.: Grammar as a Programming Language, M.I.T., A.I. Lab., Logo Memo 39, A.I.MEMO 391, Cambridge, 1976
[ROY84]Roylance, G.: Some Scientific Subroutines in LISP, M.I.T., A.I. Lab., A.I.MEMO 774, Cambridge, 1984
[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
[RUB73]Rubin, A.: Grammar for the People: Flowcharts of SHRDLU's Grammar, M.I.T., A.I. Lab., A.I.MEMO 282, Cambridge, 1973
[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
[RUS68b]Russell, D.B.: Additions to LISP Index, October 1968, Atlas Computer Laboratory, Science Research Council, Oct. 1968
[RUS68a]Russell, D.B.: LISP Index, Atlas Computer Laboratory, Science Research Council, July 1968
[RUS66]Russell, D.B: MK01 Version of LISP Interpreter, Atlas Computer Laboratory, Science Research Council, April 1966
[RUS64b]Russell, R.: Improvements to the Kalah Program, Stanford Univ., Art. Intel. Project, Memo No. 23, Stanford, Sep. 3, 1964
[RUS64a]Russell, R.: Kalah - The Game and the Program, Stanford Univ., Art. Intel. Project, Memo No. 22, Stanford, Sep. 3, 1964
[RUS58]Russell, S.: Writing and Debugging Programs, M.I.T., A.I. Project, RLE and MIT Comp. Center, A.I.MEMO 6, Cambridge, 1958
[RUS63]Russell, S.R.: Improvements in LISP Debugging, Stanford Univ., Art. Intel. Project, Memo No. 10, Stanford, Dec. 18, 1963
[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
[RUT80]Ruth, G.R.: Data Driven Loops, M.I.T., Computer Science Lab., MIT/LCS/TR-244, Cambridge, Mass., 1980
[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
[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
[SAM82]Samet, H.: Code Optimization Considerations in List Processing Systems, IEEE Transactions on Software Engineering, Vol. SE-8, No. 2, March 1982
[SAM67]Samson, P.: String, M.I.T., Artificial Intelligence Project, A.I.MEMO 142, Cambridge, 1967
[SAM66a]Samson, P.R.: PDP-6 LISP, M.I.T., Proj. MAC, MAC-M-313, A.I. Proj., A.I.MEMO 98, Cambridge, 1966
[SAN79]Sandewall, E.: Why Superroutines are Different from Subroutines, Linkoeping Univ., Informatics Lab., LiTH-MAT-R-79-28, Linkoeping, Nov. 1979
[SAN78]Sandewall, E.: Design and Downloading of a Display-Based Data Editor, Linkoeping Univ., Informatics Laboratory, Linkoeping, Sweden, ca. 1978
[SAN75c]Sandewall, E.: Ideas About Management of LISP Data Bases (revised version), M.I.T., A.I. Lab., A.I.MEMO 332, Cambridge, 975
[SAN75b]Sandewall, E.: LISP: Principles, Uppsala Univ., Datalogilab., Inst. f. Informationsbehandling, Uppsala, 1975
[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
[SAN73c]Sandewall, E.: Conversion of Predicate-Calculus Axioms, Viewed as Non-Deterministic Programs, to Corresponding Deterministic Programs, 3. IJCAI, 1973
[SAN73b]Sandewall, E.: Documentation of the SEPAC Package, Uppsala Universitet, Datalogilaboratoriet, Inst. f. Informationsbehandling, Programdok. 1973-05-02, Uppsala, 1973
[SAN73a]Sandewall, E.: Documentation of the SEPAC Data Structure, Uppsala Universitet, Datalogilaboratoriet, Inst. f. Informationsbehandling, Doc. 73-03-24, Uppsala, 1973
[SAN70]Sandewall, E.: A Proposed Solution to the FUNARG Problem, Uppsala Univ., Dep. of Computer Sciences, Rep. No. 29, Uppsala, Nov. 1970
[SAN68]Sandewall, E.: LISP A LISP-Like System for Incremental Computing, Uppsala Univ., Dep. of Computer Sciences, Report No. 11, Uppsala, Jan. 1968
[SAN76]Sandewall, E.: et al.: Datalogilaboratoriet - Flerarsrapport 1970 - 1975, Uppsala Univ., Datalogilaboratoriet, Dep. of CS, Rep. 76/A2, Uppsala, 1976
[SHT71]Sandewall, E.; Haraldsson, A.; Tengvald, A.: Documentation of the REDFUN Package, Uppsala Universitet, Datalogilaboratoriet, Uppsala, July 1971
[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
[SAN74]Sandewall, E.; et al.: Datalogilaboratoriet (1974), Uppsala Univ., Dep. of Computer Sciences, Uppsala, Feb. 1974
[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
[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
[SAN83]Sanella, M.: InterLISP Reference Manual, Xerox Corp., Palo Alto, Oct. 1983
[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
[SASA83]Sato, Masahiko; Sakurai, Takafumi Qute: a prolog/lisp type language for logic programming. IJCAI-83, pp. 507 - 513
[SABAFi66]Saunders, R.A.; Barnett, J.A.; Firth, Donna The LISP 2 Compiler. Tech Memo 1966
[SCHE85]Schefe, Peter Informatik - Eine konstruktive Einführung. LISP, PROLOG und andere Konzepte der Programmierung. Mannheim, Wien, Zürich Reihe Informatik/48 1985
[SCH80]Scherlis, W.L.: Expression Procedure and Program Derivation, Stanf. Univ., CS Dep., STAN-CS-80-818, Memo AIM-341, Stanford, Aug. 1980
[SC87]Schmitter, E.D. Praktische Einführung in LISP. LISP die Sprache der künstlichen Intelligenz. HOFACKER, Holzkirchen, 1987
[SC87]Schneider, D. The programming language scheme SGAICO Newsletter No. 15, Mai 1987
[SC87]Schoffa, G. Die Programmiersprache LISP. Eine Einführung in die Sprache der Künstlichen Intelligenz. Franzis, München, 1987
[SC85]Schoffa, G. LISP - eine Sprache fuer kuenstliche Intelligenz. Teil 1: Vergleich mit anderen Sprachen. mc-grundlagen 8/1985 S. 50 - 108
[SCHR88]Schreiner, Kurt Portabilitätsprobleme bei LISP. Universität des Saarlandes FB10 Informatik IV, 1988
[SEM77]Semjonowa, A.: Interpretarujuschtschaja Sistema LISP/ES, MEI, Kafedra Prikladnoi Matematiki, Moskau, 1977
[SEP82b]Seppaenen, J: PLISP - Pascal-Pohjainen Standardi-LISP-Systeemi, Teknillinen Korkeakoulu, Laskentakeskus, Suunnittelujaosto, Helsinki, Aug. 1982
[SEP82a]Seppaenen, J: Computing Families of Natural Secret Languages, Tekniska Hoegskolan Helsingfors, Reaeknecentralen, Res. Rep. 23, Esbo (Finnland), 1982
[SEAV86]Serre, J.M.; Andersen, Arthur; Voyer, R. Tipi, an expert system written in1e lisp for a french bank 1986
[SHA81]Shapiro, D.G.: Sniffer: A System that Understands Bugs, M.I.T., A.I. Lab., A.I.MEMO 638, Cambridge, 1981
[SHA80]Shapiro, D.G.: A Proposal for Sniffer: a System that Understands Bugs, M.I.T., A.I. Lab., Working Paper 202, Cambridge, 1980
[SHA86]Shapiro, Stuart C. LISP. An Interactive Approach. Computer Science Press New York 1986
[SHSG75]Shaw, D.E.; Swartout, W.R.; Green, C.C.: Inferring LISP Programs from Examples 4th IJCAI 1975, Tbilissi, p. 260-267
[SHE83A]Sheil, B.: Power Tools for Programmers, Intermediate INTERLISP-D Programming. Datamation, Feb. 1983
[SHE83]Sheil, B.: Power Tools for Programmers, Introduction to INTERLISP-D. Datamation, Feb. 1983
[SHE81]Sheil, B.: InterLISP-D Low Level Implementation, ............. May 29, 1981
[SHB81]Sheil, B.; Brown, J.S.: Advanced Computing Environments for A.I. and Cognitive Science, 7th IJCAI 81, Tutorial Material, 1981
[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
[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
[SHR79]Shrobe, H.E.: Dependency Directed Reasoning for Complex Program Understanding, M.I.T., Artificial Intelligence Lab., AI-TR-503, Cambridge, Mass., April 1979
[SIE81]Siemens: InterLISP, Benutzerhandbuch, Siemens AG, UB Datentechnik, Fachgebiet Anwenderprogr. (D AP), Vers. 4, Muenchen, Sept. 1981
[SIK76]Siklossy, Laurent: Let's Talk LISP, Prentice Hall, Englewood Cliffs, 1976
[SIL71]Silagadse, G.S.: Kompilator Sistemy Programmirowanija LISP-BESM-6, Soobschtschenija, AN Grus. SSR, 61, No. 3, 1971
[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
[SID83]Simmons, R.G.; Davis, R.: Representations for Reasoning about Change, M.I.T., A.I. Lab., A.I.MEMO 702, Cambridge, 1983
[SI80]Simon, F. Lamda Calculus and LISP. Univ. Kiel, Inst. f. Informatik, Bericht Nr. 8006, Kiel, Okt. 1980
[SIM70]Simon, F.: Sekundaerspeicher in LISP, Diplomarbeit, Kiel, 30. 9. 1970
[SFL84]Simon, F.; Felgentreu, K.-U.; Lippe, W.M. Fast Interpretation of Recursive Function Calls in Static Scope LISP. Univ. Kiel/Muenster, Kiel 1984
[SIT77]Simon, F.; Trademann, P. Eine Beziehung zwischem consfreiem LISP und Stackautomaten. Univ. Kiel, Inst. f. Informatik, Bericht Nr. 7705, Kiel, Okt. 1977
[SLA87]Slade, Stephen The T Programming Language. A Dialect of LISP. Englewood Cliffs 1987
[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
[SLA59]Slagle, J.R.: Formal Integration on a Digital Computer, Extended Abstract, ACM Annual Meeting, Cambridge, September 1959
[SMI84]

Smith, B.: LISP: Language and Literature, Course Materials, Stanf. Univ., CSLI Seminar on Comp. Languages, Stanford, Spring Quarter 1984
[SM84]Smith, B.C. Reflection and Semantics in LISP. ACM/XEROX PARC, Intelligent Systems Lab.,ISL-3, June 1984
[SMI83]Smith, B.C. Reflection and Semantics in LISP, ACM 1983
[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
[SMH75]Smith, B.C.; Hewitt, C.: A Plasma Primer AI Lab., MIT, Cambridge, Sept. 1975
[SMR84]Smith, B.C.; Rivieres, J. des: Interim 3-LISP Reference Manual, Xerox PARC, Calif., Intell. Systems Lab., ISL-1, Palo Alto, June 1984
[SMi70]Smith, D.C.: MLISP, Stanf. Univ., A.I. Proj., AIM-135, CS Dep., Rep. CS-179, Stanford, Oct. 1970
[SMI69]Smith, D.C.: MLISP User's Manual, Stanf. Univ., Stanf. Art. Intel. Project, Memo AI-84, Stanford, January 1969
[SME73b]Smith, D.C.; Enea, H.J.: Backtracking in MLISP2, An Efficient Backtracking Method for LISP, 3. IJCAI, 1973
[SME73a]Smith, D.C.; Enea, H.J.: MLISP 2, Stanf. Univ., A.I. Lab., AIM-195, CS Dep., Rep. CS-356, Stanford, May 1973
[SMI85]Smith, J.: Dedicated LISP Hardware - an Overview, Dept. of Computer Science, TH Twente, Feb. 1985
[SMO67]Smoliar, S.: EUTERPE-LISP: A LISP System with Music Output, M.I.T., Artificial Intelligence Project, A.I.MEMO 141, Cambridge, 1967
[SON70]Sonnenberg, W.: LISP im System HYDRA II (EL X8 Karlsruhe), Karlsruhe, 28. 9.1970
[SPA86]Spade, Frank Objektorientierte Programmierung in LISP. FU Berlin, FB Kommunikationswissenschaften Oktober 1986
[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
[STY82b]Stacy, C.C.: Getting Started Computing at the AI Lab., M.I.T., A.I. Lab., Working Paper 235, Cambridge, 1981
[STA79]Stallman, R. M. EMACS, the extensible, Customizable, Self-documenting Display Editor. M.I.T., A.I.Lab., A.I. Memo 519, Cambridge, 1979
[STA82]Stallman, R.M.: A Local Front End for Remote Editing, M.I.T., A.I. Lab., A.I.MEMO 643, Cambridge, 1982
[STA81]Stallman, R.M.: EMACS, The Extensible, Customizable Self-Documenting Display Editor, M.I.T., A.I. Lab., A.I.MEMO 519A, Cambridge, 1981
[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
[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
[STALL83]Stallman, Richard ZMAIL Manual, First Edition Version 50 LMI April 1983
[STWEMo83]Stallman, Richard; Weinreb, Daniel; Moon, David LISP Machine Window System Manual LMI 1983
[STA83]Stanley, M. The Flavors System, a Brief Overview, Toronto, Ontario, Jan. 23, 1983
[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
[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
[ST86]Steele, G.L. Common LISP, and the connection machine. Computer Language, Aug. 1986
[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
[STE73]Steele, G.L. jr.: Trees, (Poem), BYTE, 1973
[STE84]Steele, G.L.: Common LISP - The Language, Bedford, MDigital Press, 1984
[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
[STHI86]Steele, G.L.; Hillis, W.D. Connection Machine LISP - Fine-Grained Parallel Symbolic Processing. Thinking Machines Technical Report PL86-2, Cambrdige, May 1986
[STE83]Steele, G.L.jr.: Common LISP Reference Manual, Carnegie-Mellon Univ., Dep. of CS, Spice Proj., Pittsburgh, Nov. 29, 1983
[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
[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
[STE80a]Steele, G.L.jr.: Destructive Reordering of CDR-Coded Lists, M.I.T., A.I. Lab., A.I.MEMO 587, Cambridge, 1980
[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
[STE77b]Steele, G.L.jr.: Fast Arithmetic in MACLISP, : M.I.T., A.I. Lab., A.I.MEMO 421, Cambridge, 1977
[STE77a]Steele, G.L.jr.: Data Representations in PDP-10 MACLISP, M.I.T., A.I. Lab., A.I.MEMO 420, Cambridge, 1977
[STE76b]Steele, G.L.jr.: LAMBDThe Ultimate Declarative, M.I.T., A.I. Lab., A.I.MEMO 379, Cambridge, 1976
[STE76a]Steele, G.L.jr.: Arithmetic Shifting Considered Harmful, M.I.T., A.I. Lab., A.I.MEMO 378, Cambridge, 1976
[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
[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
[STS78c]Steele, G.L.jr.; Sussman, G.J.: Constraints, M.I.T., A.I. Lab., A.I.MEMO 502, Cambridge, 1978
[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
[SSU76]Steele, G.L.jr.; Sussman, G.J.: LAMBDA, the Ultimate Imperative, M.I.T., A.I. Lab., A.I.MEMO 353, Cambridge, 1976
[STE79a]Steels, L.: Procedural Attachment, M.I.T., A.I. Lab., A.I.MEMO 543, Cambridge, 1979
[STE78a]Steels, L.: Frame-Based Knowledge Representation (Progress Report), M.I.T., A.I. Lab., Working Paper 170, Cambridge, 1978
[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
[STE80]Stefik, M.J.: Planning with Constraints, Stanf. Univ., CS Dep., STAN-CS-80-784, Memo HPP-80-2, Stanford, Jan. 1980
[STOU79]Stoutemyer, D.R.: LISP Based Symbolic Math Systems, Byte, Vol. 4, No. 8, Aug. 1979, pp. 176-192
[ST86]Stoyan, H. Programmiermethoden der kuenstlichen Intelligenz. Konstanz (Entwurf), 1986
[ST86]Stoyan, H. AI Forum Nr. 1/86 Siemens AG, Muenchen, Aug. 1986
[STO80]Stoyan, H.: LISP - Anwendungsgebiete, Grundbegriffe, Geschichte, Akademie Verlag, Berlin, 1980
[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
[STO78]Stoyan, H.: LISP-Programmierhandbuch, Akademie Verlag, Berlin, 1978
[STG84]Stoyan, H.; Goerz, G.: LISP. Eine Einfuehrung in die Programmierung, Springer Verlag, Berlin etc., 1984
[STO84]Stoyan, H: Maschinen-unabhaengige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation, IFB 91, Springer Verlag, Berlin etc., 1984
[ST67]Strachey, C.: Fundamental Concepts of Programming Languages, Part I. ?
[STF80]Stroemberg, D.; Fritzson, P.: Transfer of Programs from Development to Runtime Environments, BIT, Vol. 20, No. 4, 1980, pp. 434-442
[STY67a]Stygar, P. LISP 2 Garbage Collector Specifications. Tech Memo 1967
[STY67]Stygar, P. LISP 2 Storage Management : The "Growing Pain" Problem. Tech Memo 1967
[SUM77]Summers, P.D.: A Methodology for LISP Program Construction from Examples Journal of ACM, Vol.24 (1977), No.1, p.161-175
[SM87]Sun Microsystems Sammelmappe mit Unterlagen ueber SM und LISP. SM, Stuttgart, 1987
[SUN85]Sun: Sun Portable Common LISP - A Concise Reference Manual, Sun Microsystems, Aug. 1985
[SUS79]Sussman, G.J.: Review of: J.R. Allen: Anatomy of LISP, Computing Reiews 35, 481, Dec. 1979
[SUS77]Sussman, G.J.: SLICES: At the Boundary Between Analysis and Synthesis, M.I.T, A.I. Lab., A.I.MEMO 433, Cambridge, 1977
[SUS73b]Sussman, G.J.: Some Aspects of Medical Diagnostics, M.I.T., A.I. Lab., Working Paper 56, Cambridge, 1973
[SUS73a]Sussman, G.J.: The Findspace Problem, M.I.T., A.I. Lab., A.I.MEMO 286, Cambridge, 1973
[SUS72b]Sussman, G.J.: Teaching of Procedures--Progress Report, M.I.T., A.I. Lab., A.I.MEMO 270, Cambridge, 1972
[SUS72a]Sussman, G.J.: Why Conniving is Better Than Planning, M.I.T., A.I. Lab., A.I.MEMO 255, Cambridge, 1972
[SUD74]Sussman, G.J.; McDermott, D.V.: The Conniver Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 259A, Cambridge, 1974
[SUD72c]Sussman, G.J.; McDermott, D.V.: From PLANNER to CONNIVER - A Genetic Approach, FJCC, 1972
[SUD72b]Sussman, G.J.; McDermott, D.V.: The Conniver Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 259, Cambridge, 1972
[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
[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
[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
[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
[SUW70]Sussman, G.J.; Winograd, T.: Micro-Planner Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 203, Cambridge, 1970
[SWC71]Sussman, G.J.; Winogrd, T.; Charniak, E.: Micro-Planner Reference Manual, M.I.T., A.I. Lab., A.I.MEMO 203A, Cambridge, 1971
[SUT67]Sutherland, G.: DENDRAL, A Computer Program for Generating and Filtering Chemical Structures, Stanford Univ., Art. Intel. Project, Memo 49, Stanford, Feb. 15, 1967
[SZM81]Szolovits, P.; Martin .A. Brand X: LISP Support for Semantic Networks. IJCAI-7, Vancouver, Aug. 1981, Proc. pp. 940-946
[TM66]TM-3163 The LISP 2 Programming Language and System. SDC 1966
[TAF79]Taft, S.T.: The Design of an M6800 LISP Interpreter, Byte, Vol. 4, No. 8, Aug. 1979, pp. 132-152
[TAK78]Takeuchi, I.: LISP-Contest 1978, LISP Proceedings of Summer Meeting of Kigoshori, IPSJ, Aug. 1978
[TAO75]Takeuchi, I.; Okuno, H.: A List Processor LIPQ, Second USA - Japan Computer Conference, 1975, pp. 416-421
[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
[TAN81]Tang, C.: Toward an Unified Logical Basis for Programming Languages, Stanford Univ., Computer Science Dep., STAN-CS-81-865, Stanford, June 1981
[TA86]Tappe, J. Variablenbindungen in LISP. Siemens AG, München, 1986
[TEMc59]Teager, H.; McCarthy, J.: Time-Shared Program Testing, Extended Abstract, ACM Annual Meeting, Cambridge, September 1959
[TE86]Teitelman, W. Ten years of window systems - a retrospective view. ?
[TEI79]Teitelman, W.: New - LISP - Messages, Xerox PARC, Palo Alto, CA, July 1979
[TEI78]Teitelman, W.: InterLISP Reference Manual, Xerox Palo Alto Research Center, California, Palo Alto, Oct. 1978
[TEI77b ?]Teitelman, W.: Ears, Xerox PARC, Palo Alto, 18 Oct. 1977
[TEI77a]Teitelman, W.: A Display Oriented Programmer's Assistant, 5th IJCAI, 1977
[TEI76]Teitelman, W.: LISP Changes.Update, Mails July 8, 1976 - April 26, 1977
[TEI74]Teitelman, W.: InterLISP Reference Manual, Xerox, Palo Alto Research Center, Calif., Palo Alto, Oct. 1974
[TEI73]Teitelman, W.: CLISP - Conversational LISP, 3. IJCAI, 1973
[TEI72]Teitelman, W.: "Do What I Mean": The Programmer's Assistant, Computers and Automation, April, 1972
[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
[TEI66]Teitelman, W.: PILOA Step Toward Man-Computer Symbiosis, M.I.T., Project MAC, MAC-TR-32, (PH D Thesis), Cambridge, Mass., Sep. 1966
[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
[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
[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
[TEM81]Teitelman, W.; Masinter, L.: The InterLISP Programming Environment, Computer Magazine, April 1981
[TE81]Teitelmann, W. A Display oriented Programmer's Assistant. Palo Alto, Jan. 1981
[TEN81]Tennant, H.: The Stiff Upper LISP User's Manual \& Study Guide, Lifeboat Ass., New York, 1981
[TES73]Tesler, L.G.; Enea, H.J.; Smith, D.C.: The LISP70 Pattern Matching System, 3. IJCAI, 1973
[TI84]Texas Instruments Explorer Technical Summary. q. TI Austin, Texas 1984
[THE82]Theriault, D.: A Primer for the Act-1 Language, M.I.T., A.I. Lab., A.I.MEMO 672, Cambridge, 1982
[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
[THE81]Theriault, D.G.: A Primer for the Act1-Language, M.I.T., A.I. Lab., Working Paper 221, Cambridge, 1981
[TOU83]Touetzky, D.S.: A Summary of MACLISP, Functions and Flags, Carnegie-Mellon Univ., Comp. Sc. Dep., Pittsburgh, 5th Edition: July 1983
[TOU79]Touretzky, D.S.: A Summary of MACLISP, Functions and Flags, MACLISP@CMUA, Aug. 1979
[TOU88]Touretzky, David S. How LISP has Changed. BYTE February 1988 Vol. 13, No. 2, pp. 229-234
[WEP75](Weigand; Peez, V.): LISP Editor, Usermanual, Siemens - Datenverarbeitung, Proj. Siemens InterLISP - 4004, Muenchen, 1975