This is a list of Peter's books kept at KVL. 1999-10-20

File "strings.bib" -- Bibtex string abbreviations. PS, 1990-02-22

Journals, books, and series
@STRING{AI   = "Artificial Intelligence"}
@STRING{Acta = "Acta Informatica"}
@STRING{CJ   = "Computer Journal"}
@STRING{IFIP = "IFIP World Congress Proceedings"}
@STRING{JCSS = "Journal of Computer and System Sciences"}
@STRING{JFP  = "Journal of Functional Programming"}
@STRING{LICS = "IEEE Symposium on Logic in Computer Science"}
@STRING{LNCS = "Lecture Notes in Computer Science"}
@STRING{NGC  = "New Generation Computing"}
@STRING{PEMC = "Partial Evaluation and Mixed Computation"}
@STRING{POPL = "ACM Symposium on Principles of Programming Languages"}
@STRING{SMD  = "Soviet Mathematics Doklady"}
@STRING{TOPLAS = "ACM Transactions on Programming Languages and Systems"}
@STRING{TSE  = "IEEE Transactions on Software Engineering"}

Publishers
@STRING{A-W = "Addison-Wesley"}
@STRING{AP  = "Academic Press"}
@STRING{CUP = "Cambridge University Press"}
@STRING{JWS = "John Wiley \& Sons"}
@STRING{MIT = "MIT Press"}
@STRING{N-H = "North-Holland"}
@STRING{OUP = "Oxford University Press"}
@STRING{P-H = "Prentice-Hall"}
@STRING{S-V = "Springer-Verlag"}
@STRING{SL  = "Studentlitteratur, Lund, Sweden"}

Institutions and people
@STRING{BEJ  = "D. Bjørner and A.P. Ershov and N.D. Jones"}
@STRING{CCN  = "Computing Center, No\-vo\-si\-birsk, USSR"}
@STRING{DIKU = "DIKU, University of Copenhagen, Denmark"}
@STRING{UPMAIL = "UPMAIL, Uppsala University, Sweden"}


@Book{Abelson:1985:StructureAndInterpretation,
  author = 	"Harold Abelson and Gerald Jay Sussman and Julie Sussman ",
  title = 	"Structure and Interpretation of Computer Programs",
  publisher = 	"MIT Press",
  year = 	"1985",
  acquired = 	"1986-08-29",
  OPTnote = 	""}

@Book{Abramsky:1992:HandbookOf:2,
  title = 	"Handbook of Logic in Computer Science.  Vol. 2
		 Background: Computational Structures",
  publisher = 	OUP,
  year = 	"1992",
  editor = 	"S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
  OPTmonth = 	"",
  acquired = 	"1993-02-12",
  OPTnote = 	""}

@Proceedings{ACM:1987:Principles:14,
  title = 	"Fourteenth Annual ACM Symposium on Principles of
		 Programming Languages, Munich, West Germany, January 1987",
  year = 	"1987",
  publisher = 	"ACM",
  organization = "ACM",
  acquired = 	"1987-01-20",
  OPTnote = 	""}

@Proceedings{ACM:1989:Functional:4,
  title = 	"Functional Programming Languages and Computer
		 Architecture, London, England, September 1989",
  year = 	"1989",
  publisher = 	"Addison-Wesley",
  organization = "ACM and IFIP",
  acquired = 	"1989-09-10",
  OPTnote = 	""}

@Proceedings{ACM:1990:LispAndFunctional,
  title = 	"1990 {ACM} Conference on Lisp and Functional Programming",
  year = 	"1990",
  organization = 	"ACM",
  address = 	"Nice, France",
  month = 	"June",
  acquired = 	"1990-06-26",
  OPTnote = 	""}

@Proceedings{ACM:1991:PEPM,
  title = 	"Symposium on Partial Evaluation and Semantics-Based
		 Program Manipulation",
  year = 	"1991",
  organization = 	"ACM",
  address = 	"Yale University, New Haven, Connecticut",
  month = 	"June",
  acquired =	"1991-12-04",
  OPTnote = 	""}

@Proceedings{ACM:1992:PEPM,
  title = 	"Workshop on Partial Evaluation and Semantics-Based
		 Program Manipulation",
  year = 	"1992",
  organization = 	"ACM",
  address = 	"San Francisco, California",
  month = 	"June",
  acquired = 	"1992-07-17",
  note = 	"Research Report YALEU/DCS/RR-909, Department of
		 Computer Science, Yale University"}

@Proceedings{ACM:1993:Functional:6,
  title = 	"FPCA '93, Functional Programming Languages and Computer
		 Architecture",
  year = 	"1993",
  organization = 	"ACM",
  address = 	"Copenhagen, Denmark",
  month = 	"June",
  acquired =  	"1993-06-09",
  OPTnote = 	""}

@Proceedings{ACM:1993:PEPM,
  title = 	"Symposium on Partial Evaluation and Semantics-Based
		 Program Manipulation",
  year = 	"1993",
  organization = 	"ACM",
  address = 	"Copenhagen, Denmark",
  month = 	"June",
  acquired =  	"1993-06-09",
  OPTnote = 	""}

@Proceedings{ACM:1995:PEPM,
  title = 	"Symposium on Partial Evaluation and Semantics-Based
		 Program Manipulation",
  year = 	"1995",
  organization = 	"ACM",
  address = 	"La Jolla, California",
  month = 	"June",
  acquired =  	"1996-04-17",
  OPTnote = 	""}
		  
@Proceedings{ACM:1997:PEPM,
  title = 	"Symposium on Partial Evaluation and Semantics-Based
		 Program Manipulation",
  year = 	"1997",
  organization = 	"ACM",
  address = 	"Amsterdam, Netherlands",
  month = 	"June",
  acquired =  	"1997-06-16",
  OPTnote = 	""}

@Proceedings{ACM:1999:PEPM,
  title = 	"Workshop on Partial Evaluation and Semantics-Based
		 Program Manipulation",
  year = 	"1999",
  editor =      "O. Danvy",
  organization = "ACM",
  address = 	"San Antonio, Texas",
  month = 	"January",
  acquired =  	"1999-02-15",
  note =	"BRICS Notes Series NS-99-1, DAIMI, University of Aarhus, 
                 Denmark"}
		  
@Proceedings{ACM:1994:LispAndFunctional,
  title = 	"1994 {ACM} Conference on Lisp and Functional Programming",
  year = 	"1994",
  organization = 	"ACM",
  address = 	"Orlando, Florida",
  month = 	"June",
  acquired = 	"1994-06-22",
  OPTnote =	 ""}

@Proceedings{ACM:1994:Sigplan,
  title = 	"{ACM SIGPLAN} '94 Conference on Programming Language
                Design and Implementation (PLDI)",
  year = 	"1994",
  organization = 	"ACM",
  address = 	"Orlando, Florida",
  month = 	"June",
  acquired = 	"1994-06-22",
  note =	 "Also issued as ACM SIGPLAN Notices vol. 29, no. 6,
		  June 1994"}

@Proceedings{ACM:1995:Sigplan,
  title = 	"{ACM SIGPLAN} '95 Conference on Programming Language
                Design and Implementation (PLDI)",
  year = 	"1995",
  organization = 	"ACM",
  address = 	"La Jolla, California",
  month = 	"June",
  acquired = 	"1995-07-31",
  note =	 "Also issued as ACM SIGPLAN Notices vol. 30, no. 6,
		  June 1995"}

@Proceedings{ACM:1995:Functional,
  title = 	 "FPCA'95.  Functional Programming Languages and
		  Computer Architecture",
  year = 	 "1995",
  organization = "ACM",
  address =	 "La Jolla, California",
  month =	 "June",
  acquired = 	"1996-05-17",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Proceedings{ACM:1996:Principles:23,
  title = 	"POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on 
                 Principles of Programming Languages, St.\ Petersburg
		  Beach, Florida, January 1996",
  year = 	"1996",
  publisher = 	"ACM",
  organization = "ACM",
  acquired = 	"1996-02-09",
  OPTnote = 	""}

@Proceedings{ACM:1997:Principles:24,
  title = 	"POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on 
                 Principles of Programming Languages, Paris, France, 
		 January 1997",
  year = 	"1997",
  publisher = 	"ACM",
  organization = "ACM",
  acquired = 	"1997-01-15",
  OPTnote = 	""}

@Proceedings{ACM:1999:Principles:26,
  title = 	"POPL '99: The 26th ACM SIGPLAN-SIGACT Symposium on 
                 Principles of Programming Languages, San Antonio, Texas, 
		 January 1999",
  year = 	"1999",
  publisher = 	"ACM",
  organization = "ACM",
  acquired = 	"1999-04-16",
  OPTnote = 	""}

@Proceedings{ACM:1996:ICFP,
  title = 	"International Conference on Functional Programming
		  (ICFP'96), Philadelphia, Pennsylvania, May 1996",
  year = 	"1996",
  publisher = 	"ACM",
  organization = "ACM",
  acquired = 	"1996-07-29",
  note =	 "Also: Sigplan Notices vol.\ 31, no.\ 6, June 1996"
}

@Proceedings{ACM:1997:ICFP,
  title = 	"International Conference on Functional Programming
		  (ICFP'97), Amsterdam, The Netherlands, June 1997",
  year = 	"1997",
  publisher = 	"ACM",
  organization = "ACM",
  acquired = 	"1997-06-16",
  note =	 ""
}

@Proceedings{ACM:1996:PLDI,
  title = 	 "1996 ACM SIGPLAN Conference on Programming Language
		  Design and Implementation (PLDI'96), Philadelphia,
		  Pennsylvania, May 1996",
  year = 	 "1996",
  publisher =	 "ACM",
  organization = "ACM",
  note =	 "Also: Sigplan Notices vol.\ 31, no.\ 6, June 1996"}

@Proceedings{ACM:1997:PLDI,
  title = 	 "1997 ACM SIGPLAN Conference on Programming Language
		  Design and Implementation (PLDI'97), Las Vegas, 
		  Nevada, June 1997",
  year = 	 "1997",
  publisher =	 "ACM",
  organization = "ACM",
  note =	 "Also: Sigplan Notices vol.\ 32, no.\ 5, May 1997"}

@Proceedings{ACM:1998:PLDI,
  title = 	 "1998 ACM SIGPLAN Conference on Programming Language
		  Design and Implementation (PLDI'98), Montreal, Canada, 
                  June 1998",
  year = 	 "1998",
  publisher =	 "ACM",
  organization = "ACM",
  note =	 "Also: Sigplan Notices vol.\ 33, no.\ 5, May 1998"}

@Proceedings{ACM:1999:PLDI,
  title = 	 "ACM SIGPLAN '99 Conference on Programming Language
		  Design and Implementation (PLDI), Atlanta, Georgia, 
                  May 1999",
  year = 	 "1999",
  publisher =	 "ACM",
  organization = "ACM",
  acquired =     "1999-05-01",
  OPTnote =	 "Also: Sigplan Notices"}

@Book{Aho:1974:TheDesign,
  author = 	"Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman",
  title = 	"The Design and Analysis of Computer Algorithms",
  publisher = 	"Addison-Wesley",
  year = 	"1974",
  acquired = 	"1989-10-05",
  OPTnote = 	""}

@Book{Aho:1986:Compilers,
  author = 	"A.V. Aho and R. Sethi and J.D. Ullman",
  title = 	"Compilers, Principles, Techniques, and Tools",
  publisher = 	"Addison-Wesley",
  year = 	"1986",
  acquired =	"1988-06-07",
  OPTnote = 	""}

@Book{Appel:1992:CompilingWith,
  author = 	"Andrew W. Appel",
  title = 	"Compiling with Continuations",
  publisher = 	CUP,
  year = 	"1992",
  acquired =    "1992-03-05",
  OPTnote = 	""}

@Book{Appel:1997:ModernCompiler:ML,
  author = 	 "Andrew W. Appel",
  title = 	 "Modern Compiler Implementation in {ML}",
  publisher = 	 CUP,
  year = 	 "1997",
  acquired =     "1997-04-17",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Arbib:1975:Arrows,
  author = 	"Michael A. Arbib and Ernest G. Manes",
  title = 	"Arrows, Structures, and Functors.  
                 The Categorical Imperative",
  publisher = 	"Academic Press",
  year = 	"1975",
  acquired =	"1986-03-14",
  OPTnote = 	""}

@Book{Armstrong:1993:ConcurrentProgramming,
  author = 	 "J. Armstrong and R. Virding and M. Williams",
  title = 	 "Concurrent Programming in {Erlang}",
  publisher = 	 P-H,
  year = 	 "1993",
  acquired =     "1994-12-24",  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Proceedings{Arnold:1990:CAAP90,
  title = 	"CAAP '90.  15th Colloquium on Trees in Algebra and
		 Programming, Copenhagen, Denmark, May 1990.  (Lecture
		 Notes in Computer Science, vol. 431)",
  year = 	"1990",
  editor = 	"A. Arnold",
  publisher = 	S-V,
  acquired   = 	"1990-05-09",
  OPTnote = 	""}

@book{Arnold:1998:TheJava,
  author = 	 "Ken Arnold and James Gosling",
  title = 	 "The {Java} Programming Language",
  publisher = 	 A-W,
  year = 	 "1998",
  edition =	 "Second",
  acquired =     "1998-03-11",
  OPTnote = 	 "",
  OPTannote = 	 ""
}

@Proceedings{Augustsson:1985:Implementation,
  title = 	"Implementation of Functional Languages",
  year = 	"1985",
  editor = 	"Lennart Augustsson and John Hughes and Thomas
		 Johnsson and Kent Karlsson",
  publisher = 	"Programming Methodology Group, Chalmers University of
		 Technology",
  address = 	"Gothenburg, Sweden",
  month = 	"February",
  acquired =	"1990-02-01",
  note = 	"PMG Report 17"}

@Book{Bach:1986:TheDesign,
  author = 	"M.J. Bach",
  title = 	"The Design of the Unix Operating System",
  publisher = 	P-H,
  year = 	"1986",
  acquired = 	"1993-10-26",
  OPTnote = 	""}

@Book{Backhouse:1986:ProgramConstruction,
  author = 	"Roland C. Backhouse",
  title = 	"Program Construction and Verification",
  publisher = 	P-H,
  year = 	"1986",
  acquired = 	"1987-05-04",
  OPTnote = 	""}

@TechReport{Birkedal:1993:TheML,
  author = 	 "L. Birkedal and N. Rothwell and M. Tofte and D.N. Turner",
  title = 	 "The {ML} {Kit}",
  institution =  DIKU,
  year = 	 "1993",
  number =	 "93/14",
  OPTannote = 	 ""}

@Book{Bird:1976:ProgramsAndMachines,
  author = 	"Richard Bird",
  title = 	"Programs and Machines. An Introduction to the Theory
		 of Computation",
  publisher = 	"John Wiley and Sons",
  year = 	"1976",
  acquired = 	"1984-11-15",
  OPTnote = 	""}

@Book{Bird:1988:Introduction,
  author = 	"Richard Bird and Philip Wadler",
  title = 	"Introduction to Functional Programming",
  publisher = 	"Prentice-Hall",
  year = 	"1988",
  acquired = 	"1989-09-26",
  OPTnote = 	""}

@Book{Birtwistle:1985:SimulaBegin,
  author = 	"Graham M. Birtwistle and Ole-Johan Dahl and Bjørn
		 Myhrhaug and Kristen Nygaard",
  title = 	"Simula Begin",
  publisher = 	"Studentlitteratur",
  year = 	"1985",
  edition = 	"Second",
  acquired = 	"1987-06-19",
  OPTnote = 	""}

@Book{Bishop:1991:TurboPascal,
  author = 	 "J. Bishop",
  title = 	 "Turbo Pascal Precisely",
  publisher = 	 A-W,
  year = 	 "1991",
  acquired = 	"1996-07-01",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Bishop:1997:JavaGently,
  author = 	 "J. Bishop",
  title = 	 "Java Gently",
  publisher = 	 A-W,
  year = 	 "1997",
  acquired = 	"1997-06-13",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Bishop:1998:JavaGently,
  author = 	 "J. Bishop",
  title = 	 "Java Gently",
  publisher = 	 A-W,
  year = 	 "1998",
  acquired = 	 "1998-05-04",
  edition =      "second",
  OPTnote = 	 "",
  OPTannote = 	 ""}
		  
		  
@PhDThesis{Bjerner:1989:TimeComplexity,
  author = 	"Bror Bjerner",
  title = 	"Time Complexity of Programs in Type Theory",
  school = 	"Department of Computer Sciences, University of
		 Göteborg/Chalmers University of Technology",
  year = 	"1989",
  address = 	"Gothenburg, Sweden",
  acquired = 	"1990-03-26",
  OPTnote = 	""}

@Proceedings{Bjoerner:1988:PartialEvaluation,
  title = 	"Partial Evaluation and Mixed Computation, Gammel
		 Avernæs, Denmark, October 1987",
  year = 	"1988",
  editor = 	"Dines Bjørner and Andrei P. Ershov and Neil D. Jones",
  publisher = 	"North-Holland",
  organization = 	"IFIP TC2",
  acquired = 	"1989-03-21",  
  OPTnote = 	""}

@Book{Abadi:1996:ATheory,
  author = 	 "M. Abadi adn L. Cardelli",
  title = 	 "A Theory of Objects",
  publisher = 	 S-V,
  year = 	 "1996",
  acquired = 	"1997-05-28",  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{BrinchHansen:1973:OperatingSystem,
  author = 	"Brinch Hansen, Per",
  title = 	"Operating System Principles",
  year =	"1973",
  publisher = 	P-H,
  acquired = 	"1980-06-27",
  OPTnote = 	""}

@Book{BrinchHansen:1977:TheArchitecture,
  author = 	"Brinch Hansen, Per",
  title = 	"The Architecture of Concurrent Programs",
  publisher = 	P-H,
  year = 	"1977",
  acquired = 	"1980-04-02",
  OPTnote = 	""}

@Proceedings{Bruynooghe:1992:ProgrammingLanguage,
  title = 	"Programming Language Implementation and Logic
		 Programming, 4th International Symposium, PLILP '92,
		 Leuven, Belgium.  (Lecture Notes in Computer Science,
		 vol. 631)",
  year = 	"1992",
  editor = 	"M. Bruynooghe and M. Wirsing",
  publisher = 	S-V,
  acquired =    "1992-08-25",
  OPTnote = 	""}

@Book{Burge:1975:RecursiveProgramming,
  author = 	"W.H. Burge",
  title = 	"Recursive Programming Techniques",
  publisher = 	A-W,
  year = 	"1975",
  acquired = 	"1984-12-17",
  OPTnote = 	""}

@Book{Calvert:1993:TurboPascal,
  author = 	 "C. Calvert",
  title = 	 "Turbo Pascal Programming 101",
  publisher = 	 "Sams Publishing",
  year = 	 "1993",
  acquired =	 "1996-05-22",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Chan:1996:TheJavaClass,
  author = 	 "Patrick Chan and Rosanna Lee",
  title = 	 "The {Java} Class Libraries: An Annotated Reference",
  publisher = 	 A-W,
  year = 	 "1996",
  acquired =	 "1997-04-17",		  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Cornell:1995:DelphiNuts,
  author = 	 "G. Cornell and T. Strain",
  title = 	 "Delphi Nuts and Bolts for Experienced Programmers",
  publisher = 	 "Osborne McGraw-Hill",
  year = 	 "1995",
  acquired =	 "1995-10-12",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Cornell:1996:CoreJava,
  author = 	 "G. Cornell and C.S. Horstmann",
  title = 	 "Core Java",
  publisher = 	 "SunSoft Press",
  year = 	 "1996",
  acquired =     "1996-12-12",		  
  OPTnote = 	 ""}

@Book{Cousineau:1998:TheFunctional,
  author = 	 "G. Cousineau and M. Mauny",
  title = 	 "The Functional Approach to Programming",
  publisher = 	 CUP,
  year = 	 "1998",
  acquired =     "1998-10-28",		  
  OPTannote = 	 ""}

@Book{Dahl:1972:StructuredProgramming,
  author = 	"O.-J. Dahl and E.W. Dijkstra and C.A.R. Hoare",
  title = 	"Structured Programming",
  publisher = 	"Academic Press",
  year = 	"1972",
  acquired = 	"1990-06-25",
  OPTnote = 	""}

@Proceedings{Danvy:1996:PartialEvaluation,
  title = 	 "Partial Evaluation.  Dagstuhl Castle, Germany, 
		  February 1996",
  year = 	 "1996",
  editor =	 "O. Danvy and R. Glück and P. Thiemann",
  volume =	 "1110",
  series =	 "Lecture Notes in Computer Science",
  publisher =	 S-V,
  acquired =     "1996-08-27",
  OPTannote = 	 "",
  OPTnote =	 ""}		  
		  
@Book{Davies:1999:IntroductoryJava,
  author = 	 {R.J. Davies},
  title = 	 {Introductory Java for Scientists and Engineers},
  publisher = 	 A-W,
  year = 	 {1999},
  OPTnote = 	 {},
  acquired =	"1999-05-04",
  OPTannote = 	 {}}

@Proceedings{Davis:1990:FunctionalProgramming,
  title = 	"Functional Programming, Glasgow 1989",
  year = 	"1990",
  editor = 	"Kei Davis and John Hughes",
  publisher = 	S-V,
  acquired =	"1990-09-13",
  OPTnote = 	""}

@Book{Decker:1995:TheObject,
  author = 	 "R. Decker and S. Hirshfield",
  title = 	 "The Object Concept.  An Introduction to Computer
		  Programming Using {C++}",
  publisher = 	 "International Thomson Publishing Company",
  year = 	 "1995",
  acquired =     "1996-08-09",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Decker:1996:WorkingClasses,
  author = 	 "R. Decker and S. Hirshfield",
  title = 	 "Working Classes.  Data Structures and Algorithms
		  Using {C++}",
  publisher = 	 "International Thomson Publishing Company",
  year = 	 "1996",
  acquired =     "1996-08-09",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@book{Deitel:1997:JavaHow,
  author = 	 "H.M. Deitel and P.J. Deitel",
  title = 	 "Java How to Program",
  publisher = 	 P-H,
  year = 	 "1997",
  acquired =     "1996-12-12",		  
  OPTnote = 	 ""}

@Book{Dershowitz:1997:CalendricalCalculations,
  author =	 {Nachum Dershowitz and Edward M. Reingold},
  title = 	 {Calendrical Calculations},
  publisher = 	 CUP,
  year = 	 {1997},
  acquired =     {1999-09-21},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Dijkstra:1976:ADiscipline,
  author = 	"E.D. Dijkstra",
  title = 	"A Discipline of Programming",
  publisher = 	P-H,
  year = 	"1976",
  acquired = 	"1984-03-23",
  OPTnote = 	""}

@Book{Durbin:1998:BiologicalSequence,
  author =	 {R. Durbin and S. Eddy and A. Krogh and G. Mitchison},
  title = 	 {Biological Sequence Analysis},
  publisher = 	 CUP,
  year = 	 {1998},
  acquired =     {1999-10-04},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Proceedings{Dybjer:1985:Specification,
  title = 	"Specification and Derivation of Programs",
  year = 	"1985",
  editor = 	"Peter Dybjer and Bengt Nordström and Kent
		 Petersson and Jan Smith",
  publisher = 	"Programming Methodology Group, Chalmers Technical University",
  address = 	"Gothenburg, Sweden",
  acquired = 	"1990-06-18",
  note = 	"PMG Report 18"}

@Book{Dybvig:1987:TheScheme,
  author = 	"R. Kent Dybvig",
  title = 	"The {Scheme} Programming Language",
  publisher = 	"Prentice-Hall",
  year = 	"1987",
  acquired = 	"1988-06-08",
  OPTnote = 	""}

@Book{Ehrig:1985:FundamentalsOf,
  author = 	"H. Ehrig and B. Mahr",
  title = 	"Fundamentals of Algebraic Specification 1",
  publisher = 	S-V,
  year = 	"1985",
  volume = 	"6",
  series = 	"EATCS Monographs on Theoretical Computer Science",
  acquired = 	"1985-08-05",
  OPTnote = 	""}

@book{Ekman:1972:Laerobok,
  author = 	"Torgil Ekman and Carl-Erik Fröberg",
  title = 	"Lärobok i Algol",
  publisher = 	"Studentlitteratur, Lund, Sweden",
  year = 	"1972",
  acquired = 	"1978-05-02",
  note = 	"In Swedish"}

@Book{Jensen:1993:GrundlaeggendeMatematik,
  author = 	"H. Elbrønd Jensen and T. Høholdt",
  title = 	"Grundlæggende Matematik for Dataloger",
  publisher = 	"Matematisk Institut, Danmarks Tekniske Højskole,
		 Lyngby, Danmark",
  year = 	"1993",
  OPTnote = 	""}

@Book{Enderton:1972:AMathematical,
  author = 	"Herbert B. Enderton",
  title = 	"A Mathematical Introduction to Logic",
  publisher = 	"Academic Press",
  year = 	"1972",
  acquired = 	"1984-10-24",
  OPTnote = 	""}

@Book{Flanagan:1997:JavaIn,
  author = 	 "D. Flanagan",
  title = 	 "Java in a Nutshell",
  publisher = 	 "O'Reilly",
  year = 	 "1997",
  edition =	 "Second",
  acquired = 	 "1997-06-24",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Gander:1995:SolvingProblems,
  author = 	 "W. Gander and J. H\v{r}eb\'\i\v{c}ek",
  title = 	 "Solving Problems in Scientific Computing Using
		  {Maple} and {Matlab}",
  publisher = 	 S-V,
  year = 	 "1995",
  edition =	 "Second",
  acquired =	 "1996-10-24",		  
  OPTannote = 	 ""}

@Proceedings{Ganzinger:1986:ProgramsAs,
  title = 	"Programs as Data Objects, Copenhagen, Denmark,
		 October 1989",
  year = 	"1986",
  editor = 	"H. Ganzinger and N.D. Jones",
  publisher = 	S-V,
  acquired = 	"1986-04-18",
  OPTnote = 	""}

@Book{Garey:1979:ComputersAnd,
  author = 	"M.R. Garey and D.S. Johnson",
  title = 	"Computers and Intractability.  A Guide to the Theory
		 of {NP}-Completeness",
  publisher = 	"W.H. Freeman",
  year = 	"1979",
  acquired =	"1983-05-09",  
  OPTnote = 	""}

@Book{Girard:1989:ProofsAndTypes,
  author = 	"Jean-Yves Girard and Yves Lafont and Paul Taylor",
  title = 	"Proofs and Types",
  publisher = 	CUP,
  year = 	"1989",
  series = 	"Cambridge Tracts in Theoretical Computer Science,
		 vol. 7",
  acquired = 	"1989-09-13",
  OPTnote = 	""}

@Book{Glass:1998:SoftwareRunaways,
  author = 	 {Robert L. Glass},
  title = 	 {Software Runaways},
  publisher = 	 {Prentice Hall PTR},
  year = 	 {1998},
  acquired = 	"1999-05-31",
  OPTannote = 	 {}}

@Book{Goldblatt:1992:LogicsOf,
  author = 	 "R. Goldblatt",
  title = 	 "Logics of Time and Computation",
  publisher = 	 "Center for the Study of Language and Information,
		  Stanford University, California, USA",
  year = 	 "1992",
  number =	 "7",
  series =	 "CSLI Lecture Notes",
  edition =	 "Second",
  OPTnote = 	 "",
  OPTannote = 	 "",
  acquired =	 "1995-08-18"}

@Book{Gordon:1979:TheDenotational,
  author = 	"Michael J.C. Gordon",
  title = 	"The Denotational Description of Programming
		 Languages.  An Introduction",
  publisher = 	S-V,
  year = 	"1979",
  acquired = 	"1984-08-08",
  OPTnote = 	""}
		  
@Book{Gram:1962:SelectedNumerical,
  title = 	 "Selected Numerical Methods",
  publisher = 	 "Copenhagen: Regnecentralen",
  year = 	 "1962",
  OPTcrossref =  "",
  OPTkey = 	 "",
  editor =	 "C. Gram",
  OPTvolume = 	 "",
  OPTnumber = 	 "",
  OPTseries = 	 "",
  OPTaddress = 	 "",
  OPTedition = 	 "",
  OPTmonth = 	 "",
  OPTnote = 	 "",
  OPTannote = 	 ""
}

@Book{Gries:1981:TheScience,
  author = 	"David Gries",
  title = 	"The Science of Programming",
  publisher = 	S-V,
  year = 	"1981",
  acquired = 	"1983-08-26",
  OPTnote = 	""}

@Proceedings{Grossman:1993:HybridSystems,
  title = 	"Hybrid Systems.  (Lecture Notes in Computer Science,
		 vol. 736)",
  year = 	"1993",
  editor = 	"R.L. Grossman and A. Nerode and A.P. Ravn and H. Rischel",
  publisher = 	S-V,
  acquired = 	"1993-10-26",
  OPTnote = 	""}

@Book{Hamilton:1978:Logic,
  author = 	"A.G. Hamilton",
  title = 	"Logic for Mathematicians",
  publisher = 	CUP,
  year = 	"1972",
  acquired = 	"1987-02-16",
  OPTnote = 	""}

@Book{Hansen:1999:IntroductionTo,
  author = 	 {Michael R. Hansen and Hans Rischel},
  title = 	 {Introduction to Programming Using SML},
  publisher = 	 A-W,
  year = 	 {1999},
  acquired =     {1999-04-28},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Harel:1992:Algorithmics,
  author = 	"D. Harel",
  title = 	"Algorithmics.  The Spirit of Computing",
  publisher = 	A-W,
  year = 	"1992",
  edition = 	"Second",
  acquired = 	"1993-08-12",
  OPTnote = 	""}

@Proceedings{Heldal:1992:FunctionalProgramming,
  title = 	"Functional Programming, Glasgow, 1991",
  year = 	"1992",
  editor = 	"R. Heldal and C. {Kehler Holst} and P. Wadler",
  publisher = 	S-V,
  acquired =	"1992-08-03",
  OPTnote = 	""}

@Book{Henderson:1980:FunctionalProgramming,
  author = 	"Peter Henderson",
  title = 	"Functional Programming.  Application and Implementation",
  publisher = 	P-H,
  year = 	"1980",
  acquired = 	"1985-09-13",
  OPTnote = 	""}
		  
@Book{Holmes:1998:ProgrammingWith,
  author = 	 "Barry Holmes",
  title = 	 "Programming with Java",
  publisher = 	 "Jones and Bartlett",
  year = 	 "1998",
  acquired = 	 "1998-05-19",
  OPTnote = 	 "",
  OPTannote = 	 ""
}

@Book{Hopcroft:1979:Introduction,
  author = 	"John E. Hopcroft and Jeffrey D. Ullman",
  title = 	"Introduction to Automata Theory, Languages, and Computation",
  publisher = 	A-W,
  year = 	"1979",
  acquired = 	"1985-02-01",
  OPTnote = 	""}

@Book{Horowitz:1987:ProgrammingLanguages,
  title = 	"Programming Languages.  A Grand Tour",
  publisher = 	"Computer Science Press",
  year = 	"1987",
  editor = 	"Ellis Horowitz",
  edition = 	"Third",
  acquired = 	"1990-04-02",
  OPTnote = 	""}

@Book{Hortsmann:1998:ComputingConcepts,
  author = 	 "Cay Horstmann",
  title = 	 "Computing Concepts with {Java} Essentials",
  publisher = 	 JWS,
  year = 	 "1998",
  acquired =     "1998-02-18",		  
}

@Proceedings{Hughes:1991:FunctionalProgramming,
  title = 	"Functional Programming Languages and Computer
		 Architecture, 5th ACM Conference, Cambridge, MA,
		 August 1991.  (Lecture Notes in Computer Science,
		 vol. 523)",
  year = 	"1991",
  editor = 	"J. Hughes",
  publisher = 	S-V,
  acquired =	"1991-08-26",
  OPTnote = 	""}

@Proceedings{Johnsson:1988:Implementation,
  title = 	"Implementation of Lazy Functional Languages",
  year = 	"1988",
  editor = 	"T. Johnsson and Peyton Jones, S. and K. Karlsson",
  publisher = 	"Programming Methodology Group, Chalmers University of
		 Technology",
  address = 	"Gothenburg, Sweden",
  month = 	"September",
  acquired =	"1990-02-01",
  note = 	"PMG Report 53"}

@Proceedings{Jones:1980:Semantics-Directed,
  title = 	"Semantics-Directed Compiler Generation, Aarhus,
		 Denmark, January 1980.  (Lecture Notes in Computer
		 Science, vol. 94)",
  year = 	"1980",
  editor = 	"Neil D. Jones",
  publisher = 	S-V,
  acquired = 	"1985-08-30",
  OPTnote = 	""}

@Proceedings{Jones:1990:ESOP90,
  title = 	"ESOP '90.  3rd European Symposium on Programming,
		 Copenhagen, Denmark, May 1990.  (Lecture NOtes in
		 Computer Science, vol. 432)",
  year = 	"1990",
  editor = 	"N. Jones",
  publisher = 	S-V,
  acquired = 	"1990-05-09",
  OPTnote = 	""}

@Book{Jones:1993:PartialEvaluation,
  author = 	"N.D. Jones and C.K. Gomard and P. Sestoft",
  title = 	"Partial Evaluation and Automatic Program Generation",
  publisher = 	P-H,
  year = 	"1993",
  acquired = 	"1993-06-14",
  isbn =	"0-13-020249-5",
  note = 	""}

@Proceedings{Jouannaud:1985:FunctionalProgramming,
  title = 	"Functional Programming Languages and Computer
		 Architecture, Nancy, France, September 1985.
		 (Lecture Notes in Computer Science, vol. 201)",
  publisher = 	"Springer-Verlag",
  year = 	"1985",
  editor = 	"Jean-Pierre Jouannaud",
  acquired =	"1989-12-06"}

@Proceedings{Jouannaud:1985:RewritingTechniques,
  title = 	"Rewriting Techniques and Applications, Dijon, France,
		 May 1985.  (Lecture Notes in Computer Science, vol. 202)",
  year = 	"1985",
  editor = 	"Jean-Pierre Jouannaud",
  publisher = 	S-V,
  acquired = 	"1985-11-25",
  OPTnote = 	""}

@Book{Kahaner:1989:NumericalMethods,
  author = 	 "D. Kahaner and C. Moler and S. Nash",
  title = 	 "Numerical Methods and Software",
  publisher = 	 P-H,
  year = 	 "1989",
  acquired = 	 "1997-02-12",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Proceedings{Kahn:1987:FunctionalProgramming,
  title = 	"Functional Programming Languages and Computer
		 Arcitecture, Portland, Oregon, USA, September 1987.
		 (Lecture Notes in Computer Science, vol. 274)",
  publisher = 	"Springer-Verlag",
  year = 	"1987",
  editor = 	"Gilles Kahn",
  acquired =	"1989-12-06"}

@Book{Kent:1997:Encyclopedia:37,
  author = 	 "",
  title = 	 "Encyclopedia of Computer Science and Technology",
  publisher = 	 "New York: Marcel Dekker",
  year = 	 "1997",
  editor =	 "A. Kent and J.G. Williams",
  volume =	 "37",
  acquired = 	 "1997-08-07",		  
  OPTannote = 	 ""
}

@Book{Kernighan:1984:TheUnix,
  author = 	"Brian W. Kernighan and Rob Pike",
  title = 	"The {Unix} Programming Environment",
  publisher = 	P-H,
  year = 	"1984",
  OPTedition = 	"",
  OPTmonth = 	"",
  acquired = 	"1991-08-24",
  OPTnote = 	""}

@Book{Kernighan:1988:TheC,
  author = 	"Brian W. Kernighan and Dennis M. Ritchie",
  title = 	"The {C} Programming Language",
  publisher = 	P-H,
  year = 	"1988",
  edition = 	"Second",
  OPTmonth = 	"",
  acquired = 	"1992-03-05",
  OPTnote = 	""}

@Book{Knuth:1973:FundamentalAlgorithms,
  author = 	"Donald E. Knuth",
  title = 	"Fundamental Algorithms",
  publisher = 	A-W,
  year = 	"1973",
  volume = 	"1",
  series = 	"The Art of Computer Programming",
  edition = 	"Second",
  acquired =	"1981-12-18",
  OPTnote = 	""}

@Book{Knuth:1992:LiterateProgramming,
  author = 	 "D.E. Knuth",
  title = 	 "Literate Programming",
  publisher = 	 "Center for the Study of Language and Information,
		  Stanford University, California, USA",
  year = 	 "1992",
  number =	 "27",
  series =	 "CSLI Lecture Notes",
  OPTnote = 	 "",
  OPTannote = 	 "",
  acquired =	 "1995-08-18"}

@Book{Knuth:1998:SeminumericalAlgorithms,
  author = 	 "Donald E. Knuth",
  title = 	 "Seminumerical Algorithms",
  publisher = 	 A-W,
  year = 	 "1998",
  volume = 	 "2",
  series = 	 "The Art of Computer Programming",
  edition =	 "Third",
  acquired =     "1998-03-11",
  OPTnote = 	 "",
  OPTannote = 	 ""}
		  
@Book{Kristensen:90:KonstruktionAf,
  author = 	 "J.T. Kristensen",
  title = 	 "Konstruktion af indlæseprogrammer",
  publisher = 	 "Teknisk Forlag",
  year = 	 "1990",
  OPTnote = 	 "",
  OPTannote = 	 "",
  acquired =	 "1996-05-09"}

@Book{Kurki-Suonio:1971:Computability,
  author = 	"Reino Kurki-Suonio",
  title = 	"A Programmer's Introduction to Computability and
		 Formal Languages",
  publisher = 	"Studentlitteratur, Lund, Sweden",
  year = 	"1971",
  acquired = 	"1982-12-02",
  OPTnote = 	""}

@Book{Lammers:1986:ProgrammersAt,
  author = 	 "S. Lammers",
  title = 	 "Programmers at Work.  Interviews",
  publisher = 	 "Microsoft Press",
  year = 	 "1986",
  acquired = 	 "1986-06-27",		  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Lamport:1986:Latex,
  author = 	"Leslie Lamport",
  title = 	"LaTeX.  A Document Preparation System",
  publisher = 	"Addison-Wesley",
  year = 	"1986",
  acquired = 	"1989-10-23",
  OPTnote = 	""}

@Proceedings{Launchbury:1993:FunctionalProgramming,
  title = 	"Functional Programming, Glasgow, 1992",
  year = 	"1993",
  editor = 	"J. Launchbury and P. Sansom",
  publisher = 	S-V,
  acquired = 	"1993-08-13",
  OPTnote = 	""}

@Book{Lewis:1976:CompilerDesign,
  author = 	"P.M. {Lewis II} and D.J. Rosenkrantz and R.E. Stearns",
  title = 	"Compiler Design Theory",
  publisher = 	A-W,
  year = 	"1976",
  series = 	"The Systems Programming Series",
  acquired =	"1980-09-02",
  OPTnote = 	""}

@Book{Lloyd:1984:FoundationsOf,
  author = 	"J.W. Lloyd",
  title = 	"Foundations of Logic Programming",
  publisher = 	S-V,
  year = 	"1984",
  acquired = 	"1985-08-09",
  OPTnote = 	""}

@Book{Lucas:1992:TheC++,
  author = 	 "Paul J. Lucas",
  title = 	 "The {C++} Programmer's Handbook",
  publisher = 	 P-H,
  year = 	 "1992",
  acquired = 	"1993-01-06",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@PhDThesis{Mycroft:1981:AbstractInterpretation,
  author = 	"Alan Mycroft",
  title = 	"Abstract Interpretation and Optimising
		 Transformations for Applicative Programs",
  school = 	"University of Edinburgh",
  year = 	"1981",
  acquired = 	"1987-09-18",
  form = 	"Photocopy",
  note = 	"Report CST-15-81"}

@Book{Milner:1980:ACalculus,
  author = 	"R. Milner",
  title = 	"A Calculus of Communicating Systems. (Lecture Notes
		 in Computer Science, vol. 92)",
  publisher = 	S-V,
  year = 	"1980",
  acquired = 	"1986-01-21",
  form = 	"Photocopy",
  OPTnote = 	""}

@Book{Milner:1990:TheDefinition,
  author = 	"R. Milner and M. Tofte and R. Harper",
  title = 	"The Definition of Standard {ML}",
  publisher = 	"The MIT Press",
  year = 	"1990",
  OPTedition = 	"",
  acquired =	"1991-08-27",
  OPTnote = 	""}

@Book{Milner:1991:Commentary,
  author = 	"R. Milner and M. Tofte",
  title = 	"Commentary on Standard {ML}",
  publisher = 	MIT,
  year = 	"1991",
  OPTedition = 	"",
  OPTmonth = 	"",
  acquired = 	"1991-08-18",
  OPTnote = 	""}

@Book{Milner:1997:TheDefinition,
  author = 	 "R. Milner and M. Tofte and R. Harper and D.B. MacQueen",
  title = 	 "The Definition of Standard ML (Revised)",
  publisher = 	 MIT,
  year = 	 "1997",
  acquired = 	 "1997-07-28",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Milner:1999:CommunicatingAnd,
  author =	 {Robin Milner},
  title = 	 {Communicating and Mobile Systems: the $\pi$-Calculus},
  publisher = 	 CUP,
  year = 	 {1999},
  acquired =     {1999-09-21},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Myers:1993:ProgrammingWith,
  author = 	"C. Myers and C. Clack and E. Poon",
  title = 	"Programming with Standard ML",
  publisher = 	P-H,
  year = 	"1993",
  acquired = 	"1993-03-11",
  OPTnote = 	""}

@Book{Mughal:2000:AProgrammers,
  author =	 {Khalid A. Mughal and Rolf W. Rasmussen},
  title = 	 {A Programmer's Guide to Java Certification},
  publisher = 	 A-W,
  year = 	 {2000},
  acquired = 	"1999-10-11",
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Nielson:1992:Semantics,
  author = 	"H.R. Nielson and F. Nielson",
  title = 	"Semantics with Applications",
  publisher = 	JWS,
  year = 	"1992",
  acquired =	"1993-01-08",
  OPTnote = 	""}

@Book{Paulson:1991:ML,
  author = 	"L.C. Paulson",
  title = 	"{ML} for the Working Programmer",
  publisher = 	CUP,
  year = 	"1991",
  OPTedition = 	"",
  OPTmonth = 	"",
  acquired = 	"1991-08-18",
  OPTnote = 	""}

@Book{Paulson:1996:ML,
  author = 	"L.C. Paulson",
  title = 	"{ML} for the Working Programmer",
  publisher = 	CUP,
  year = 	"1996",
  edition =	"Second",
  OPTmonth = 	"",
  acquired = 	"1996-07-10",
  OPTnote = 	""}

@Book{PeytonJones:1987:TheImplementation,
  author = 	"Peyton Jones, S.L.",
  title = 	"The Implementation of Functional Programming Languages",
  publisher = 	"Prentice-Hall",
  year = 	"1987",
  acquired = 	"1988-09-17",
  OPTnote = 	""}

@Proceedings{PeytonJones:1991:FunctionalProgramming,
  title = 	"Functional Programming, Glasgow 1990",
  year = 	"1991",
  editor = 	"Peyton Jones, S.L. and G. Hutton and C. Kehler Holst",
  publisher = 	S-V,
  acquired = 	"1991-06-24",
  OPTnote = 	""}

@Book{PeytonJones:1992:ImplementingFunctional,
  author = 	"Peyton Jones, S.L. and D. Lester",
  title = 	"Implementing Functional Languages",
  publisher = 	P-H,
  year = 	"1992",
  acquired =	"1992-06-15",
  OPTnote = 	""}

@TechReport{Plotkin:1981:AStructural,
  author = 	"Gordon D. Plotkin",
  title = 	"A Structural Approach to Operational Semantics",
  institution = 	"DAIMI, Aarhus University, Denmark",
  year = 	"1981",
  number = 	"FN-19",
  acquired = 	"1985-12-09",  
  OPTnote = 	""}

@Book{Potts:1996:JavaProgramming,
  author = 	 "A. Potts and D.H. Friedel",
  title = 	 "Java Programming Language Handbook",
  publisher = 	 "Coriolis Group Books",
  year = 	 "1996",
  acquired =     "1996-12-12",		  
  OPTnote = 	 ""}
		  
@Book{Press:1994:NumericalRecipes,
  author = 	 "W.H. Press and others",
  title = 	 "Numerical Recipes in {C}\@.  The Art of Scientific
		  Computing",
  publisher = 	 CUP,
  year = 	 "1994",
  edition =	 "Second",
  acquired =	 "1995-10-11",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Raise:1992:TheRaise,
  author = 	"The {RAISE} Language Group",
  title = 	"The {RAISE} Specification Language",
  publisher = 	P-H,
  year = 	"1992",
  OPTedition = 	"",
  OPTmonth = 	"",
  acquired = 	"1994-03-09",
  OPTnote = 	""}

@Book{Reppy:1999:ConcurrentProgramming,
  author =	 {John Reppy},
  title = 	 {Concurrent Programming in ML},
  publisher = 	 CUP,
  year = 	 {1999},
  acquired =     {1999-09-21},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Reynolds:1999:TheoriesOf,
  author =	 {John Reynolds},
  title = 	 {Theories of Programming Languages},
  publisher = 	 CUP,
  year = 	 {1998},
  acquired =     {1999-09-21},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Runciman:1995:ApplicationsOf,
  editor = 	 "C. Runciman and D. Wakeling",
  title = 	 "Applications of Functional Programming",
  publisher = 	 "UCL Press, University College London, England",
  year = 	 "1995",
  OPTnote = 	 "",
  OPTannote = 	 "",
  acquired =	 "1995-08-25"
}

@Proceedings{Sannella:1994:ProgrammingLanguages,
  title = 	"Programming Languages and Systems --- ESOP'94.  5th
		 European Symposium on Programming, Edinburgh, U.K.,
		 April 1994 (Lecture Notes in Computer Science, vol. 788)",
  year = 	"1994",
  editor = 	"D. Sannella",
  publisher = 	S-V,
  acquired = 	"1994-04-15",
  OPTnote = 	""}

@Book{Savitch:1993:TurboPascal,
  author = 	 "W.J. Savitch",
  title = 	 "Turbo Pascal",
  publisher = 	 "Benjamin/Cummings Publishing",
  year = 	 "1993",
  acquired = 	"1996-07-01",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Schmidt:1986:DenotationalSemantics,
  author = 	"David A. Schmidt",
  title = 	"Denotational Semantics",
  publisher = 	"Boston, Massachusetts: Allyn and Bacon",
  year = 	"1986",
  acquired = 	"1987-05-04",
  OPTnote = 	""}

@Book{Shammas:Object-OrientedProgramming,
  author = 	 "N.C. Shammas",
  title = 	 "Object-Oriented Programming with Borland Pascal 7",
  publisher = 	 "Sams Publishing",
  year = 	 "1993",
  acquired = 	 "1996-07-01",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Skagestein:1997:BIT1B,
  author = 	 "Gerhard Skagestein and Geir-Harald Strand and Borge
		  Løvstad",
  title = 	 "Informasjonsbehandling (BIT 1B)",
  publisher = 	 "Oslo: Cappelen",
  year = 	 "1997",
  acquired = 	 "1998-09-02",		  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Spivey:1992:TheZ,
  author = 	"J.M. Spivey",
  title = 	"The {Z} Notation.  A Reference Manual",
  publisher = 	P-H,
  year = 	"1992",
  edition = 	"Second",
  acquired = 	"1993-01-06",
  OPTnote = 	""}

@Book{Stanat:1977:DiscreteMathematics,
  author = 	"Donald F. Stanat and David F. McAllister",
  title = 	"Discrete Mathematics in Computer Science",
  publisher = 	P-H,
  year = 	"1977",
  acquired = 	"1987-12-24",
  OPTnote = 	""}

@Book{Stansifer:1992:MLPrimer,
  author = 	 "R. Stansifer",
  title = 	 "{ML} Primer",
  publisher = 	 P-H,
  year = 	 "1992",
  acquired =     "1994-11",  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Stoy:1977:DenotationalSemantics,
  author = 	"Joseph E. Stoy",
  title = 	"Denotational Semantics:  The Scott-Strachey Approach
		 to Programming Language Theory",
  publisher = 	"MIT Press",
  year = 	"1977",
  acquired = 	"1987-01-25",
  OPTnote = 	""}

@Book{Strobel:1994:Linux,
  author = 	"S. Strobel and T. Uhl",
  title = 	"Linux: Vom PC zur Workstation",
  publisher = 	S-V,
  year = 	"1994",
  acquired = 	"1994-04-25",
  OPTnote = 	""}

@Book{Stroustrup:1991:TheC++,
  author = 	 "B. Stroustrup",
  title = 	 "The {C++} Programming Language",
  publisher = 	 A-W,
  year = 	 "1991",
  edition =	 "Second",
  OPTnote = 	 "",
  acquired =	 "1995-08-02"}

@PhdThesis{Sundaresh:1991:IncrementalComputation:Thesis,
  author = 	"R.S. Sundaresh",
  title = 	"Incremental Computation via Partial Evaluation",
  school = 	"Yale University",
  year = 	"1991",
  address = 	"New Haven, Connecticut, USA",
  month = 	"December",
  acquired = 	"1992-07-17",
  note = 	"Also: Research Report YALEU/DCS/RR-889"}

@InCollection{Tarski:1951:ADecision,
  author = 	"A. Tarski",
  title = 	"A Decision Method for Elementary Algebra and Geometry",
  booktitle = 	"Alfred Tarski. Collected Papers, vol. 3",
  publisher = 	"Birkhäuser",
  year = 	"1986",
  pages = 	"297-367",
  editor = 	"S.R. Givant and R.N. McKenzie",
  acquired = 	"1993-02-17.  Xerox copy, from DNLB",
  note = 	"Originally published 1951 by University of California Press"}

@Book{Tennent:1981:PrinciplesOf,
  author = 	"R.D. Tennent",
  title = 	"Principles of Programming Languages",
  publisher = 	P-H,
  year = 	"1981",
  acquired = 	"1986-03-08",
  OPTnote = 	""}

@Book{Thompson:1991:TypeTheory,
  author = 	"S. Thompson",
  title = 	"Type Theory and Functional Programming",
  publisher = 	A-W,
  year = 	"1991",
  acquired = 	"1992-04-10",
  OPTnote = 	""}

@Book{Turner:1990:ResearchTopics,
  title = 	"Research Topics in Functional Programming",
  publisher = 	A-W,
  year = 	"1990",
  editor = 	"David A. Turner",
  series = 	"University of Texas at Austin Year of Programming Series",
  acquired =	"1990-09-27",
  OPTnote = 	""}

@Book{Ullman:1994:ElementsOf,
  author = 	 "J.D. Ullman",
  title = 	 "Elements of {ML} Programming",
  publisher = 	 P-H,
  year = 	 "1994",
  acquired =	 "1994-11",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{vanderLinden:1996:JustJava,
  author = 	 "P. {van der Linden}",
  title = 	 "Just Java",
  publisher = 	 "SunSoft Press",
  year = 	 "1996",
  acquired =     "1996-12-12",		  
  OPTnote = 	 ""}
		  
@Book{Weiss:1993:DataStructures,
  author = 	 "M.A. Weiss",
  title = 	 "Data Structures and Algorithm Analysis in {C}",
  publisher = 	 "Benjamin/Cummings",
  year = 	 "1993",
  acquired =	 "1994",  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Weiss:1995:DataStructures,
  author = 	 "M.A. Weiss",
  title = 	 "Data Structures and Algorithm Analysis",
  publisher = 	 "Benjamin/Cummings",
  year = 	 "1995",
  edition =	 "Second",
  acquired =	 "1995-10-12",  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Weizenbaum:1976:ComputerPower,
  author = 	 "J. Weizenbaum",
  title = 	 "Computer Power and Human Reason.  From Judgment to
		  Calculation",
  publisher = 	 "W.H. Freeman",
  year = 	 "1976",
  acquired =	 "1984-09-17",
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Wikstroem:1987:FunctionalProgramming,
  author = 	"Wikström, Åke",
  title = 	"Functional Programming Using {Standard ML}",
  publisher = 	"Prentice-Hall",
  year = 	"1987",
  acquired = 	"1988-01-13",
  OPTnote = 	""}

@Book{Winder:1998:DevelopingJava,
  author = 	 "Russel Winder and Graham Roberts",
  title = 	 "Developing Java Software",
  publisher = 	 "John Wiley \& Sons",
  year = 	 "1998",
  acquired = 	 "1997-12-01",
  OPTnote = 	 ""
}

@Book{Winston:1997:OnTo,
  author = 	 "P.H. Winston and S. Narasimhan",
  title = 	 "On to Java",
  publisher = 	 A-W,
  year = 	 "1997",
  acquired =     "1997-06-13",		  
  OPTnote = 	 "",
  OPTannote = 	 ""}

@Book{Wirth:1976:Algorithms+Data,
  author = 	"Niklaus Wirth",
  title = 	"Algorithms + Data Structures = Programs",
  publisher = 	P-H,
  year = 	"1976",
  acquired = 	"1980-06-13",
  OPTnote = 	""}
