%Collections and Conferences
%They are cross-referenced and must be given to BibTeX last.

%%Collections

@Proceedings{leuven92,
  editor	= "L, J, M. Claesen",
  title		= "Proceedings of the IFIP TC10/WG10.2 International
		  Workshop",
  booktitle	= "Higher Order Logic Theorem
                   Proving and its Applications",
  year		= 1992,
  month         = "September",
  publisher	= "North-Holland",
  series        = "IFIP Transactions",
  number        = " A-20",
  note	        = "IFIP TC10/WG10.2 International Workshop"}
		  
@Proceedings{cstoday,
  editor	= "Jan {van Leeuwen}",
  title		= "Computer Science Today: Recent Trends and Developments",
  booktitle	= "Computer Science Today: Recent Trends and Developments",
  year		= 1995,
  publisher	= "Springer",
  series	= "LNCS 1000"}

@book{handbk-lics2,
  editor	= "S. Abramsky and D. M. Gabbay and T. S. E. Maibaum",
  title		= "Handbook of Logic in Computer Science",
  booktitle	= "Handbook of Logic in Computer Science",
  publisher	= "Oxford University Press",
  year		= 1992,
  volume	= 2}

%WAS barwise77
@book{barwise-handbk,
  editor	= "J. Barwise",
  title		= "Handbook of Mathematical Logic",
  booktitle	= "Handbook of Mathematical Logic",
  year		= 1977,
  publisher	= NH}

@book{ben-putnam,
  editor	= "Paul Benacerraf and Hilary Putnam",
  title		= "Philosophy of Mathematics: Selected Readings",
  booktitle	= "Philosophy of Mathematics: Selected Readings",
  publisher	= CUP,
  year		= 1983,
  edition	= "2nd"}

@book{birtwistle88,
  editor	= "Graham Birtwistle and P. A. Subrahmanyam",
  title		= "{VLSI} Specification, Verification and Synthesis",
  booktitle	= "{VLSI} Specification, Verification and Synthesis",
  publisher	= "Kluwer Academic Publishers",
  year		= 1988}

@book{birtwistle89,
  editor	= "Graham Birtwistle and P. A. Subrahmanyam",
  title		= "Current Trends in Hardware Verification and Automated
		 Theorem Proving", 
  booktitle	= "Current Trends in Hardware Verification and Automated
		 Theorem Proving", 
  publisher	= "Springer",
  year		= 1989}

@book{bledsoe-fest,
  title		= "Automated Reasoning: Essays in Honor of {Woody Bledsoe}",
  booktitle	= "Automated Reasoning: Essays in Honor of {Woody Bledsoe}",
  publisher	= "Kluwer Academic Publishers",
  year		= 1991,
  editor	= "Robert S. Boyer"}

@book{degroot86,
  editor	= "Doug DeGroot and Gary Lindstrom",
  title		= "Logic Programming: Functions, Relations and Equations",
  publisher	= Prentice,
  year		= 1986}

@book{goedel-II,
  title		= "{Kurt G\"odel}: Collected Works",
  booktitle	= "{Kurt G\"odel}: Collected Works",
  volume	= "II",
  editor	= "S. Feferman and others",
  publisher	= "Oxford University Press",
  year		= 1990}

@book{hinchey-bowen,
  title		= "Applications of Formal Methods",
  booktitle	= "Applications of Formal Methods",
  year		= 1995,
  editor	= "Michael Hinchey and Jonathan P. Bowen",
  URL		= {http://www.comlab.ox.ac.uk/archive/formal-methods/afm-book.html}, 
  isbn		= {0-13-366949-1},
  publisher	= Prentice}

@book{hoare-shepherdson,
  editor	= "C. A. R. Hoare and J. C. Shepherdson",
  title		= "Mathematical Logic and Programming Languages",
  booktitle	= "Mathematical Logic and Programming Languages",
  publisher	= Prentice,
  year		= 1985}

@Book{hoare-jones89,
  editor	= "C. A. R. Hoare and C. B. Jones",
  title		= "Essays in Computing Science",
  booktitle	= "Essays in Computing Science",
  publisher	= Prentice,
  year		= 1989}

@book{milne86,
  editor	= "G. Milne and P. A. Subrahmanyam",
  title		= "Formal Aspects of VLSI Design", 
  booktitle	= "Formal Aspects of VLSI Design", 
  publisher	= "North-Holland",
  year		= 1986}

@book{minker88,
  editor	= "Jack Minker",
  title		= "Foundations of Deductive Databases and Logic Programming",
  year		= 1988,
  publisher	= "Morgan Kaufmann"}

@book{odifreddi90,
  editor	= "P. Odifreddi",
  title		= "Logic and Computer Science",
  booktitle	= "Logic and Computer Science",
  publisher	= "Academic Press",
  year		= 1990}

@book{turner90,
  editor	= {David Turner},
  title		= {Research Topics in Functional Programming},
  booktitle	= {Research Topics in Functional Programming},
  year		= 1990,
  publisher	= {Addison-Wesley}}

%%Conferences

%CADE

@Proceedings{cade5,
  editor	= "W. Bibel and R. Kowalski",
  title		= "5th " # CADE,
  booktitle	= "5th " # CADE,
  year		= 1980,
  publisher	= "Springer",
  series	= "LNCS 87"}

@Proceedings{cade7,
  title		= "7th " # CADE,
  booktitle	= "7th " # CADE,
  year		= 1984,
  editor	= "R. E. Shostak",
  publisher	= "Springer",
  series	= "LNCS 170"}

%WAS siekmann86
@proceedings{cade8,
  editor	= "J. H. Siekmann",
  title		= "8th " # CADE,
  booktitle	= "8th " # CADE,
  year		= 1986,
  publisher	= "Springer",
  series	= "LNCS 230"}

@proceedings{cade9,
  editor	= "E. Lusk and R. Overbeek",
  title		= "9th " # CADE,
  booktitle	= "9th " # CADE,
  publisher	= "Springer",
  series	= "LNCS 310", 
  year		= 1988}

@proceedings{cade10,
  editor	= "Mark E. Stickel",
  title		= "10th " # CADE,
  booktitle	= "10th " # CADE,
  year		= 1990,
  publisher	= "Springer",
  series	= "LNAI 449"}

@proceedings{cade11,
  editor	= "Deepak Kapur",
  title		= "Automated Deduction --- {CADE}-11",
  booktitle	= "Automated Deduction --- {CADE}-11",
  note		= "11th international conference",
  publisher	= "Springer",
  series	= "LNAI 607",
  year		= 1992}

@Proceedings{cade12,
  editor	= "Alan Bundy",
  title		= "Automated Deduction --- {CADE}-12",
  booktitle	= "Automated Deduction --- {CADE}-12",
  note		= "12th international conference",
  year		= 1994,
  series	= "LNAI 814",
  publisher	= "Springer"}

@Proceedings{cade13,
  editor	= "Michael McRobbie and John Slaney",
  title		= "Automated Deduction --- {CADE}-13",
  booktitle	= "Automated Deduction --- {CADE}-13",
  note		= "13th international conference",
  year		= 1996,
  series	= "LNAI",
  publisher	= "Springer"}

%CAV

@Proceedings{cav92,
  title		= "Computer Aided Verification: Fourth International
		Workshop, {CAV} '92",
  booktitle	= "Computer Aided Verification: Fourth International
		Workshop, {CAV} '92",
  year		= "Published 1993",
  editor	= "G. v. Bochmann and D. K. Probst",
  publisher	= "Springer LNCS 663"}

@proceedings{colog88,
  editor	= {P. Martin-L\"of and G. Mints},
  title		= "COLOG-88: International Conference on Computer Logic",
  booktitle	= "COLOG-88: International Conference on Computer Logic",
  year		= "Published 1990",
  publisher	= "Springer",
  organization	= "Estonian Academy of Sciences",
  address	= "Tallinn",
  series	= "LNCS 417"}

@proceedings{extensions91,
  editor	= "Peter Schroeder-Heister",
  title		= "Extensions of Logic Programming",
  booktitle	= "Extensions of Logic Programming",
  year		= 1991,
  series	= "LNAI 475", 
  publisher	= "Springer"}

%FME

@proceedings{fme93,
  editor	= "J. C. P. Woodcock and P. G. Larsen",
  title		= "FME '93: Industrial-Strength Formal Methods",
  booktitle	= "FME '93: Industrial-Strength Formal Methods",
  year		= 1993,
  publisher	= "Springer",
  series	= "LNCS 670"}

%UL 348:01.c.49.873
@proceedings{fme94,
  editor	= "Maurice Naftalin and Tim Denvir and Miquel Bertran",
  title		= "FME '94: Industrial Benefit of Formal Methods",
  booktitle	= "FME '94: Industrial Benefit of Formal Methods",
  year		= 1994,
  publisher	= "Springer",
  series	= "LNCS 873"}

%Functional Programming [Languages] and Computer Architecture

%Was kahn87
@Proceedings{fpca87,
  title		= FPLCA,
  booktitle	= FPLCA,
  year		= 1987,
  editor	= "Gilles Kahn",
  publisher	= "Springer",
  series	= "LNCS 274"}

@Proceedings{fpca95,
  key		= "FPCA",
  title		= FPCA,
  booktitle	= FPCA,
  year		= 1995,
  publisher	= "ACM Press"}

%Glasgow FP Workshops

@Proceedings{gfp91,
  title		= {Glasgow Workshop on Functional Programming},
  booktitle	= {Glasgow Workshop on Functional Programming},
  year		= 1991,
  editor	= {R. Heldal and C. Holst and P. Wadler},
  publisher	= {Springer},
  annote	= {2Y359, also [Univ. Lib.] 348:8.c.95.2613}}

%HUG: HOL User's Group

@Proceedings{hug93,
  editor	= "J. Joyce and C. Seger",
  title		= "Higher Order Logic Theorem Proving and Its
		  Applications: HUG '93",
  booktitle	= "Higher Order Logic Theorem Proving and Its
		  Applications: HUG '93",
  year		= {Published 1994},
  publisher	= "Springer",
  series	= "LNCS 780"}

		  
@Proceedings{HUG94,
  title	=         {Higher Order Logic Theorem Proving and Its Applications:
                   7th International Workshop},
  booktitle	= {Higher Order Logic Theorem Proving and Its
		  Applications: 7th International Workshop},
  month         = {September},
  year		= 1994,
  editor	= {Thomas F. Melham and Juanito Camilleri},
  series	= {LNCS 859},
  place         = {Valletta, Malta},
  publisher	= {Springer},
  isbn		= 3540584501}

@Misc{HUG94journal,
   title = "{\it The Computer Journal}, Volume 38, Number 2.
            {Special} Issue on
            {{Higher Order Logic Theorem Proving and its Applications}}",
   year = "1995",
   key = "HOL"}

@Misc{FMSD93,
   title = "{\it Formal Methods in System Design}, Volume 3, Number 1/2.
            {Special} Issue on
            {{Higher Order Logic Theorem Proving and its Applications}}",
   month = "August",
   year = "1993",
   key = "HOL"}

@Misc{FMSD94,
   title = "{\it Formal Methods in System Design}, Volume 5, Number 1/2.
            {Special} Issue on
            {{Higher Order Logic Theorem Proving and its Applications}}",
   month = "July/August",
   year = "1993",
   key = "HOL"}

@Proceedings{HUG95,
  title	=         {Higher Order Logic Theorem Proving and Its Applications
                   8th International Workshop},
  booktitle	= {Higher Order Logic Theorem Proving and Its
		  Applications: 8th International Workshop},
  month         = {September},
  year		= 1995,
  editor	= {E. Thomas Schubert and Phillip J. Windley and James
		  Alves-Foss},
  series	= {LNCS 971},
  place         = {Aspen Grove, Utah, USA},
  publisher	= {Springer},
  isbn		= 3540602755}



%Isabelle

@proceedings{isabelle-ws,
  editor	= {Lawrence C. Paulson},
  title		= {Proceedings of the First Isabelle Users Workshop},
  booktitle	= {Proceedings of the First Isabelle Users Workshop},
  year		= 1995,
  series	= {Technical Report 379},
  organization	= CUCL,
  month		= sep
}

%LICS

@proceedings{lics2,
  title		= "Second Annual Symposium on Logic in Computer Science", 
  booktitle	= "Second Annual Symposium on Logic in Computer Science", 
  publisher	= IEEE,
  year		= 1987}

@Proceedings{lics4,
  title		= "Fourth Annual Symposium on Logic in Computer Science",
  booktitle	= "Fourth Annual Symposium on Logic in Computer Science",
  year		= 1989, 
  publisher	= IEEE}

@Proceedings{lics5,
  title		= "Fifth Annual Symposium on Logic in Computer Science",
  booktitle	= "Fifth Annual Symposium on Logic in Computer Science",
  year		= 1990, 
  publisher	= IEEE}

@Proceedings{lics6,
  title		= "Sixth Annual Symposium on Logic in Computer Science",
  booktitle	= "Sixth Annual Symposium on Logic in Computer Science",
  year		= 1991, 
  publisher	= IEEE}

@Proceedings{lics8,
  editor	= "M. Vardi",
  title		= "Eighth Annual Symposium on Logic in Computer Science",
  booktitle	= "Eighth Annual Symposium on Logic in Computer Science",
  publisher	= IEEE,
  year		= 1993}

@Proceedings{mfps93,
  editor	= "S. Brookes and M. Main and A. Melton and M.Mislove and
		  D. Schmidt",
  title		= "Mathematical Foundations of Programming Semantics.
		  Proceedings, 1993",
  booktitle	= "Mathematical Foundations of Programming Semantics.
		  Proceedings, 1993",
  year		= 1994,
  publisher	= "Springer",
  series	= "LNCS 802"}

@Proceedings{mpc92,
  title		= "Mathematics of Program Construction: Second International
		  Conference",
  booktitle	= "Mathematics of Program Construction: Second International
		  Conference",
  year		= 1992,
  editor	= "R. S. Bird and C. C. Morgan and J. C. P. Woodcock",
  publisher	= "Springer",
  series	= "LNCS 669"}


%QED workshops


@Proceedings{qed95,
  title		= {QED Workshop II},
  year		= 1995,
  editor	= {Robert Boyer and Andrzej Trybulec},
  publisher     = {On the World Wide Web at \verb|http://www.mcs.anl.gov/qed/index.html|}
}

%TYPES and LF workshops

@book{huet-plotkin91,
  editor	= "{G\'erard} Huet and Gordon Plotkin",
  title		= "Logical Frameworks",
  booktitle	= "Logical Frameworks",
  publisher	= CUP,
  year		= 1991}

@book{huet-plotkin93,
  editor	= "{G\'erard} Huet and Gordon Plotkin",
  title		= "Logical Environments",
  booktitle	= "Logical Environments",
  publisher	= CUP,
  year		= 1993}

@book{types93,
  editor	= "Henk Barendregt and Tobias Nipkow",
  title		= TYPES # ": International Workshop {TYPES '93}",
  booktitle	= TYPES # ": International Workshop {TYPES '93}",
  year		= "published 1994",
  publisher	= "Springer",
  series	= "LNCS 806"}

@book{types94,
  editor	= "Peter Dybjer and Bengt Nordstr{\"om} and Jan Smith",
  title		= TYPES # ": International Workshop {TYPES '94}",
  booktitle	= TYPES # ": International Workshop {TYPES '94}",
  year		= "published 1995",
  publisher	= "Springer",
  series	= "LNCS 996"}

@Proceedings{tlca95,
  editor	= "M. Dezani-Ciancaglini and G. Plotkin",
  title		= "Typed Lambda Calculi and Applications: Second International
		  Conference", 
  booktitle	= "Typed Lambda Calculi and Applications: Second International
		  Conference",
  year		= 1995,
  publisher	= "Springer",
  series	= "LNCS 902"}

@Proceedings{sdl5,
  title		= "Fifth {SDL} Forum Evolving Methods",
  booktitle	= "Fifth {SDL} Forum Evolving Methods",
  year		= 1991,
  editor	= "O. Faergemand and R. Reed",
  publisher	= NH}

@Proceedings{zum94,
  title		= {Z User Workshop},
  booktitle	= {Z User Workshop},
  year		= 1994,
  editor	= {J. P. Bowen and J. A. Hall},
  series	= {Workshops in Computing},
  publisher	= {Springer}}

@Proceedings{zum95,
  title		= {ZUM '95 : The Z Formal Specification Notation},
  booktitle	= {ZUM '95 : The Z Formal Specification Notation},
  year		= 1995,
  editor	= {Bowen, Jonathan P. and Hinchey, Michael G.},
  series	= {LNCS 967},
  publisher	= {Springer},
  isbn		= 3540602712}