% These are my programming-language bibliography cards
%
% Last change : 16. Oct. 1990
%
% ----- A -----

@techreport{fortran66,
     AUTHOR      = {ANSI},
     TITLE       = {American National Standard {FORTRAN}},
     INSTITUTION = {American National Standards Institute},
     ADDRESS     = {New York},
     YEAR        = {1966},
     NUMBER      = {ANS X3.9-1966},
     NOTE        = {Beschreibung f\"ur FORTRAN 66},
     ANNOTE      = {}
     }

@techreport{COBOL74,
     AUTHOR      = {ANSI},
     TITLE       = {American National Standard {COBOL}},
     INSTITUTION = {American National Standards Institute},
     ADDRESS     = {New York},
     YEAR        = {1974},
     NUMBER      = {ANS-X3.23-1974},
     NOTE        = {Beschreibung f\"ur COBOL},
     ANNOTE      = {}
     }

@techreport{PLI,
     AUTHOR      = {ANSI},
     TITLE       = {American National Standard {PL/I}},
     INSTITUTION = {American National Standards Institute},
     ADDRESS     = {New York},
     YEAR        = {1976},
     NUMBER      = {ANS X3.53-1976},
     NOTE        = {Beschreibung f\"ur PL/I},
     ANNOTE      = {}
     }

@techreport{fortran77,
     AUTHOR      = {ANSI},
     TITLE       = {American National Standard {FORTRAN}},
     INSTITUTION = {American National Standards Institute},
     ADDRESS     = {New York},
     YEAR        = {1978},
     NUMBER      = {ANS X3.9-1978},
     NOTE        = {Beschreibung f\"ur FORTRAN-77},
     ANNOTE      = {}
     }

@article{Rx,
     AUTHOR      = {E. A. Ashcroft and W. W. Wadge},
     TITLE       = {Rx for Semantics},
     JOURNAL     = {ACM TOPLAS},
     VOLUME      = {4},
     NUMBER      = {2},
     MONTH       = {April},
     YEAR        = {1982},
     PAGES       = {283-294}
     }



% ----- B -----

@article{BaumannProlog,
     AUTHOR = {R\"udeger Baumann},
     TITLE = {Pr\"adikative {D}enk- und {P}rogrammiermethoden im
              {I}nformatikunterricht},
     JOURNAL = {{LOG IN}},
     NUMBER = {3},
     YEAR = {1993},
     PAGES = {55-57},
     ANNOTE = {}
     }


@book{BirdWadler,
     AUTHOR      = {Richard Bird and Philip Wadler},
     TITLE       = {Introduction to functional programming},
     PUBLISHER   = {Prentice-Hall}, 
     ADDRESS     = {New York},
     YEAR        = {1988},
     ANNOTE      = {}
     }


@BOOK{BDM75,
     AUTHOR      = {G. M. Birtwistle and O.-J. Dahl and B. Myhrhaug},
     TITLE       = {{SIMULA} begin},
     PUBLISHER   = {Petrocelli Charter},
     ADDRESS     = {New York},
     YEAR        = {1975},
     ANNOTE      = {}
     }

@book{Bishop,
     AUTHOR = {Ron Bishop},
     TITLE   = {Basic Microprocessors and the 6800},
     PUBLISHER = {Motorola},
     YEAR = {1979}
     }


@book{BJ78,
     AUTHOR    = {Dines {Bj\o rner} and Cliff B. Jones},
     TITLE     = {The Vienna Development Method: The Language},
     PUBLISHER = {Springer Verlag},
     SERIES    = {LNCS 61},
     YEAR      = {1978},
     NOTE      = {}
     }


@book{BJ82,
     AUTHOR    = {Dines {Bj\o rner} and Cliff B. Jones},
     TITLE     = {Formal Specification and Software Development},
     PUBLISHER = {Prentice Hall},
     SERIES    = {International Series in Computer Science},
     YEAR      = {1982},
     NOTE      = {}
     }

@book{Boecker,
     AUTHOR = {H.-D. B\"ocker and G. Fischer},
     TITLE  = {Interaktives Probleml\"osen mit LOGO.
               Band 1 (mit M. Plehnert): Einf\"uhrung in das interaktive
                      Programmieren.
               Band 2 : Praktische Projekte.
                        Teil 1 (mit U. Schollw\"ock): Mathematik.
                        Teil 2 (mit U. Schollw\"ock): Informatik.
                        Teil 3 (mit U. Schollw\"ock): K\"unstliche Intelligenz und
                                     Sprache.
                        Teil 4 (mit M. Plehnert): Spiele.},
     PUBLISHER = {iwt},
     ADDRESS = {Vaterstetten},
     YEAR = {1986, 1987}
     }


@TECHREPORT{bsipascal,
     AUTHOR      = "BSI",
     TITLE       = "Specification for Computer Programming Language Pascal",
     YEAR        = "1982",
     NUMBER      = "BS6192",
     INSTITUTION = "British Standards Institution",
     ADDRESS     = "Milton Keynes, England",
     NOTE        = {Standard f\"ur Pascal},
     ANNOTE      = ""}

% ----- C -----

@article{Christensen,
       AUTHOR = {{B\o rge} Christensen}, 
       TITLE = {{COMAL}-80}, 
       JOURNAL = {LOG IN},
       VOLUME = {3},
       YEAR = {1983},
       NUMBER = {3},
       PAGES = {29-31}
       }


@misc{CompMagProgSpra,
	Key = {Computer Magazine},
	TITLE = {Sonderheft ``{P}rogrammiersprachen''},
      	JOURNAL = {Computer Magazine},
      	MONTH = {Okt.},
      	YEAR = {1985}
     	}


% ----- D -----

@article{SIMULA,
	AUTHOR = {Ole-Johan Dahl and  K. Nygaard},
	TITLE = {{SIMULA} -- {A}n {A}lgol-based {S}imulation {L}anguage},
	JOURNAL = {CACM},
	YEAR = {1966},
	VOLUME = {9},
	PAGES = {671-678}
 	}

@book{VDM-SL,
      AUTHOR    = {John Dawes},
      TITLE     = {The {VDM-SL} {R}eference {G}uide},
      PUBLISHER = {Pitman},
      ADDRESS   = {London},
      YEAR      = {1991}
     }

@techreport{LRM,
	KEY = {DoD},
	INSTITUTION = {Department of Defence (United States)},
	TITLE = {Reference manual for the {A}da {P}rogramming {L}anguage. },
	NUMBER = {ANSI/MIL-STD-1815A-1983},
	ADDRESS = {Washington, D.C.},
	YEAR = {1983}
	}

@BOOK{DeJ90,
  AUTHOR = "H. L. Dershen and M. J. Jipping",
  TITLE  = "Programming {L}anguages : {S}tructures and {M}odels",
  PUBLISHER = "Wadsworth Publ. Co.",
  ADDRESS = "Belmont, CA",
  YEAR = "1990",
  ANNOTE = "ADA examples"}


@BOOK{Dij76,
  AUTHOR = "E. W. Dijkstra",
  TITLE = "A discipline of programming",
  PUBLISHER = "Prentice Hall",
  ADDRESS = "Englewood Cliffs, NJ",
  YEAR = "1976",
  ANNOTE = ""}


% ----- F -----

@book{Fehr,
     AUTHOR    = {Elfriede Fehr},
     TITLE     = {Semantik von Programmiersprachen},
     PUBLISHER = {Springer Verlag},
     ADDRESS   = {Berlin},
     YEAR      = {1989},
     SERIES    = {Studienreihe Informatik},
     NOTE      = {}
     }

@book{Friedman,
	AUTHOR = {{Linda Weiser} Friedman},
	TITLE = {Comparative Programming Languages: Generalizing 
		 the Programming Function},
	PUBLISHER = {Prentice Hall}, 
	YEAR = {1991}
	}


% ----- G -----

@article{GanzingerHeeg,
	AUTHOR = {Harald Ganzinger and Georg Heeg},
	TITLE = {Smalltalk-80},
	Journal = {Computer Magazin},
	NUMBER = {Sonderheft Programmiersprachen},
	MONTH = {Okt.},
	YEAR = {1985}
	}


@BOOK{Smalltalk,
  AUTHOR = "A. Goldberg and D. Robson",
  TITLE = "Smalltalk-80 : The language and its Implementation",
  PUBLISHER = "Addison Wesley",
  ADDRESS = "Reading, MA",
  YEAR = "1983",
  ANNOTE = ""}

% ----- H -----

@book{Halstead,
	AUTHOR = {Maurice H. Halstead},
	TITLE = {Machine-Independent Computer Programming},
	PUBLISHER = {Spartan Books}, 
	ADDRESS = {Washington, D.C.},
	YEAR = {1962}
	}

@TECHREPORT{ML,
  AUTHOR = "R. Harper and R. Milner and M. Tofte",
  TITLE = "The definition of {S}tandard {ML} (version 2)",
  INSTITITION = "Dept. of Comp. Sci, Univ. of Edinburgh, Scotland",
  YEAR = "1988",
  ANNOTE = ""}

@article{Emporer,
	AUTHOR = {{C.A.R.} Hoare},
	TITLE = {The Emporer's New Clothes},
	JOURNAL = {CACM},
	MONTH = {2},
	YEAR = {1981},
	VOLUME = {21},
	Number = {2}
	}


@BOOK{GrandTour,
  EDITOR    = "E. Horowitz",
  TITLE     = "Programming Languages : A Grand Tour",
  PUBLISHER = "Computer Science Press",
  ADDRESS   = "Rockville, Maryland",
  YEAR      = "1987",
  ANNOTE    = ""}


@book{Haskell,
  EDITOR = "Paul Hudak and Simon Peyton Jones and Philip Wadler ",
  TITLE  = "Report on the Programming Language Haskell. A Non-Strict, Purely
            Functional Language. Version 1.1", 
  YEAR   = "1991",
  ANNOTE = "Named in honor of Haskell B. Curry"
  }


@book{Hoffmann,
   AUTHOR    = {Hans-J\"urgen Hoffmann},
   TITLE     = {{SMALLTALK} verstehen und anwenden},
   PUBLISHER = {Hanser Verlag},
   YEAR      = {1987},
   ADDRESS   = {M\"unchen},
   ANNOTE    = {TFH-Bibliothek: 21797, Beitr\"age von Budde,
                Kuhlenkamp, Lutze, Nagl, Scheiterer, Sylla,
                Z\"ullighoven}
   }


% ----- I -----

@TECHREPORT{ada,
  EDITOR = "J. Ichbiah",
  YEAR = "1983",
  TITLE = "Ada Programming Language",
  INSTITUTION = "Ada Joint Program Office, Department of Defense",
  ADDRESS = "Washington, D. C.",
  NUMBER = "ANSI/MIL-STD-1815A",
  NOTE = "Beschreibung von Ada",
  ANNOTE = ""}

@BOOK{occam2,
  KEY    = "inmos 88a",
  AUTHOR = "inmos ltd",
  TITLE     = "{\tt occam} 2 Reference Manual",
  PUBLISHER = "Prentice-Hall International", 
  SERIES = "Series in Computer Science",
  YEAR          = "1988", 
  ANNOTE = ""}

@BOOK{CompilerWritersGuide,
  KEY    = "inmos 88b",
  AUTHOR = "inmos ltd.",
  TITLE     = "Transputer Instruction Set: A compiler 
                   writer's guide",
  PUBLISHER = "Prentice-Hall International",
  YEAR      = "1988",
  ANNOTE = ""}

% ----- J -----

@BOOK{PUMAR,
  AUTHOR = "Kathleen Jensen and Niklaus Wirth",
  TITLE  = "{PASCAL} User Manual and Report",
  PUBLISHER = "Springer Verlag",
  ADDRESS = "Berlin",
  YEAR = "1974",
  ANNOTE = ""}

@BOOK{SSDVDM,
  AUTHOR     = {Cliff B. Jones}, 
  TITLE      = {Systematic Software Development using VDM}, 
  PUBLISHER  = {Prentice-Hall International}, 
  ADDRESS    = "London",
  YEAR       = {1990},
  NOTE       = {}
  }

@BOOK{occamprog1,
  AUTHOR    = "Geraint Jones",
  TITLE     = "Programming in occam tm",
  PUBLISHER = "Prentice-Hall International",
  ADDRESS   = "London",
  YEAR      = "1987",
  ANNOTE    = ""
  }

@BOOK{occamprog2,
  AUTHOR = "Geraint Jones and Michael Goldsmith",
  TITLE = "Programming in occam2",
  PUBLISHER = "Prentice-Hall International",
  ADDRESS = "London",
  YEAR = "1988",
  ANNOTE = ""}



% ----- K -----

@BOOK{Kamin,
  AUTHOR = "Samuel N. Kamin",
  TITLE  = "Programming Languages: An Interpreter-Based Approach",
  PUBLISHER = "Addison-Wesley",
  YEAR   = "1990",
  ANNOTE = "Interpreter source code for LISP, APL, SCHEME, SASL, CLU,
            SMALLTALK, PROLOG"}

@book{KandziaLangmaack,
	Author = {Peter Kandzia and Hans Langmaack},
	Title = {Informatik: Programmierung},
	Publisher = {Teubner},
	Address = {Stuttgart},
	year = {1973}
	}

@book{AlgolFortranPascal,
	Author = {Edgar Kaucher and Rudi Klatte and Christian Ullrich},
	Title = {H\"ohrere Programmiersprachen ALGOL, FORTRAN, PASCAL 
	         in einheitlicher und \"ubersichtlicher Darstellung},
	Publisher = {Bibliographisches Institut},
	address = {Mannheim},
	Year = {1978}
	}


@BOOK{KeR88,
  AUTHOR = "Brian W. Kernighan and Dennis M. Ritchie",
  TITLE = "The C Programming Language",
  EDITION = "2",
  PUBLISHER = "Prentice Hall",
  ADDRESS = "New Jersey",
  YEAR = "1988",
  ANNOTE = ""}

% ----- L -----

@ARTICLE{Landin66,
  AUTHOR  = "Peter Landin",
  TITLE   = "The next 700 programming languages",
  JOURNAL = "CACM",
  VOLUME  = "9",
  YEAR    = "1966",
  MONTH   = "March",
  ANNOTE  = "Offside rule"}

@ARTICLE{LWW96,
  AUTHOR  = "Annegret Liebers and Dorothea Wagner and Karsten Weihe",
  TITLE   = "C++ im Nebenfachstudium: Konzepte und Erfahrungen",
  JOURNAL = "Informatik-Spektrum",
  VOLUME  = "19",
  NUMBER  = "5",
  YEAR    = "1996",
  MONTH   = "October",
  PAGES   = "262-265",
  ANNOTE  = "Frech! Ich werde nicht mal gedankt!"}



@BOOK{LMW86,
  AUTHOR = "Jacques Loeckx and Kurt Mehlhorn and Reinhard Wilhelm",
  TITLE  = "Grundlagen der Programmiersprachen",
  PUBLISHER = "B.G. Teubner",
  ADDRESS = "Stuttgart",
  YEAR = "1986",
  ANNOTE = ""}

% ----- M -----
@techreport{mayoccam2,
     AUTHOR      = {David May},
     TITLE       = {Occam2 language definition},
     INSTITUTION = {inmos, Ltd.},
     ADDRESS     = {Almondsbury, Bristol},
     YEAR        = {1987},
     NUMBER      = {72 OCC 044 02},
     NOTE        = {Beschreibung f\"ur occam2},
     ANNOTE      = {}
     }

@book{MertenLisch,
	author = {Klaus Merten and Ralf Lisch},
	title = {FORTRAN IV},
	publisher = {Gustav Fischer Verlag}, 
	Address = {Stuttgart},
	edition = {2.},
	year = {1980}
	}


% ----- N -----

@ARTICLE{algol60,
  AUTHOR    = "Peter Naur",
  TITLE     = "Report on the Algorithmic Language ALGOL60",
  JOURNAL   = "CACM",
  VOLUME    = "3",
  YEAR      = "1960",
  PAGES     = "299-314",
  NOTE = "Beschreibung von ALGOL60",
  ANNOTE = ""}

% ----- P -----

@book{Papert,
	Author = {Seymour Papert},
	Title = {Mindstorms. Kinder, Computer und neues Lernen}, 
	Publisher = {Birkh\"auser-Verlag}, 
	Address = {Basel},
	Year = {1982},
	Annote = {auch rororo Taschenbuch}
	}


@techreport{pontain,
     AUTHOR      = {Dick Pontain},
     TITLE       = {A tutorial introduction to OCCAM programming},
     INSTITUTION = {inmos, Ltd.},
     ADDRESS     = {Almondsbury, Bristol},
     YEAR        = {1987},
     NUMBER      = {72 OCC 046 00},
     NOTE        = {Textbuch f\"ur occam2},
     ANNOTE      = {}
     }

% ----- R -----

@techreport{MirandaUser,
     KEY         = {Miranda},
     TITLE       = {Miranda {S}ystem {M}anual},
     INSTITUTION = {Research Software Ltd.},
     YEAR        = {1987},
     NOTE        = {},
     ANNOTE      = {Handbuch f\"ur Miranda}
     }


% ----- S -----

@article{Schauer,
	author = {Helmut Schauer},
	title = {Entwicklung von {P}rogrammiersprachen},
	journal = {LOG IN},
	volume = {3},
	number = {3},
	year = {1983}, 
	pages = {11-15}
	}

@book{Schliessmann,
	author = {Helmut {Schlie\ss mann}},
	title = {Programmierung mit {PL}/1},
	Publisher = {Bibliographisches Institut},
	Series = {Hochschultaschenb\"ucher},
	number = {740},
	year = {1978}
	}


@unpublished{Schonberg,
  AUTHOR  = {Edmond Schonberg},
  TITLE   = {Contrasts: {A}da 9X and {C}++},
  NOTE    = {posted to comp.lang.ada},
  MONTH   = {April},
  YEAR    = {1992}
  }

@BOOK{Seb,
  AUTHOR = "Robert W. Sebesta",
  TITLE = "Concepts of Programming Languages",
  PUBLISHER = "Benjamin/Cummings Publ. Co.",
  ADDRESS = "Redwood City, CA",
  ANNOTE = "good course book on languages and constructs"}

@BOOK{TheLanguage,
  AUTHOR = "Guy L. Steele",
  TITLE  = "Common LISP : the language",
  PUBLISHER = "Digital Press",
  ADDRESS = "Pittsburgh, PA",
  YEAR = "1990",
  EDITION = "2nd",		
  ANNOTE = ""}

% ----- T -----

@ARTICLE{Turner,
  AUTHOR    = "David A. Turner",
  TITLE     = "An {O}verview of {M}iranda",
  JOURNAL   = "SIGPLAN Notices",
  VOLUME    = "21",
  NUMBER    = "12",
  MONTH     = "December",
  YEAR      = "1986",
  PAGES     = "158-166",
  NOTE      = "",
  ANNOTE    = "Seminal paper on Miranda, also LNCS 201"
  }



% ----- V -----

@BOOK{algol68,
  AUTHOR = "A. {van Wijngaarden et al}",
  TITLE = "Revised Report on the Algorithmic Language Algol 68",
  YEAR = "1976",
  PUBLISHER = "Springer Verlag",
  ADDRESS = "Berlin",
  NOTE = "Beschreibung von Algol-68",
  ANNOTE = ""}

% ----- W -----

@BOOK{Wats89,
  AUTHOR = "Des Watson",
  TITLE = "High-level languages and their compilers",
  YEAR = "1989",
  ANNOTE = ""}


@BOOK{Watt90,
  AUTHOR = "David A. Watt",
  TITLE = "Programming Language Concepts and Paradigms",
  PUBLISHER = "PRentice Hall",
  YEAR = "1990",
  ANNOTE = ""}

@BOOK{etudes,
  AUTHOR = "Charles Wetherell",
  TITLE  = "Etudes for Programmers",
  PUBLISHER = "Prentice Hall",
  YEAR = "1978",
  ADDRESS = "New Jersey",
  ANNOTE = "Programming Excercises : Cellular Automata,
            Map coloring, text formatting, creation of mazes,
            programs that print their own source, turing
            maching simulation, kalah, patterns among primes,
            symbolic algebra, high-precision arithmetic, 
            cryptanalysis, computer simulation, linking loader,
            compiler, TRAC interpreter"}

@PROCEEDINGS{Wex80,
  EDITOR = "R. L. Wexelblat",
  TITLE  = "ACM History of Programming Languages Conference",
  YEAR = "1980",
  ADDRESS = "Los Angeles",
  PUBLISHER = "Academic Press",
  ANNOTE = ""}

@BOOK{WiC88,
  AUTHOR = "L. B. Wilson and R. G. Clark",
  TITLE  = "Comparative Programming Languages",
  PUBLISHER = "Addison-Wesley",
  YEAR = "1990",
  ANNOTE = ""}


@book{Wooley,
	author = {George Woolley},
	title = {Contemporary COBOL},
	publisher = {Rinehart Press},
	address = {San Francisco},
	year = {1971}
	}

% ----- Z -----

@book{Zwittlinger,
     AUTHOR    = {Helmut Zwittlinger},
     TITLE     = {Comic {P}ascal: ein {F}ach- \& {S}ach-Comic},
     EDITION   = {3},
     PUBLISHER = {Oldenbourg},
     ADDRESS   = {M\"unchen},
     YEAR      = {1990}
     }