File /home/thiemann/tex/bib/procs.bib last modified on Fri Jul  7 12:05:16 1995.

@STRING{CAAP = "Trees in Algebra and Programming"}
@STRING{CC = "International Conference on Compiler Construction"}
@STRING{ESOP = "European Symposium on Programming"}
@string{ICFP = "International Conference on Functional Programming"}
@STRING{IJCAI = "International Joint Conference on Artificial
		  Intelligence"}
@string{IWMM = "International Workshop on Memory Management, IWMM"}
@string{LOPSTR = "Logic Program Sysnthesis and Transformation"}
@string{MFPS = "Mathematical Foundations of Programming Semantics"}
@STRING{PEPM = {Partial Evaluation and Semantics-Based Program Manipulation}}
@STRING{PLDI = "Conference on Programming Language Design and Implementation"}
@STRING{PLILP = "Programming Languages, Implementations, Logics, and Programs"}
@STRING{oldPLILP = "Programming Language Implementation and Logic Programming"}
@STRING{POPL = "Annual ACM Symposium on Principles of Programming Languages"}
@STRING{RTA = "Rewriting Techniques and Applications"}
@STRING{FPCA = "Functional Programming Languages and Computer Architecture"}
@STRING{SAC = "Annual Symposium on Applied Computing, SAC"}
@STRING{SAS = "International Static Analysis Symposium, SAS"}
@STRING{STACS = "Symposium on Theoretical Aspects of Computer Science"}
@STRING{TACS = "Theoretical Aspects of Computer Software"}
@STRING{WIFPL = "Workshop on the Implementation of Functional Programming Languages"}

@string{acmsigsymp = " ACM SIGPLAN Symposium on "}
@string{acmsigwork = " ACM SIGPLAN Workshop on "}
@string{proclong = "Proceedings of the "}
@STRING{proc = "Proc.~"}
@STRING{conf = "Conf.~"}
@STRING{symp = "Symp.~"}
@STRING{work = "Workshop "}
		  


		  
@Proceedings{TIC1997,
  title = 	 proclong#acmsigwork#"Types in Compilation",
  booktitle = 	 proclong#acmsigwork#"Types in Compilation",
  year = 	 1997,
  address =	 "Amsterdam, The Netherlands",
  month =	 "jun"
}

@Proceedings{CW1997,
  title = 	 proclong#"Second"#acmsigwork#"Continuations",
  booktitle = 	 proclong#"Second"#acmsigwork#"Continuations",
  year = 	 1997,
  editor =	 "Olivier Danvy",
  number =	 "NS-96-13",
  series =	 "BRICS Notes",
  publisher =	 "Dept.~of Computer Science, Aarhus, Denmark",
  address =	 "Paris, France",
  month =	 Jan
}

@Proceedings{ATP1997,
  title = 	 "GI Arbeitstagung Programmiersprachen",
  booktitle = 	 "GI Arbeitstagung Programmiersprachen",
  year = 	 1997,
  publisher =	 "Springer-Verlag",
  address =	 "Aachen",
  month =	 sep
}

@Proceedings{STOC1986,
  title = 	 "Eighteenth Annual ACM Symposium on Theory of Computing",
  booktitle = 	 "Eighteenth Annual ACM Symposium on Theory of Computing",
  year = 	 1986
}

@Proceedings{PSI1996,
  key =		 "PSI '96",
  booktitle = 	 "PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of
      System Informatics",
  title = 	 "PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of
      System Informatics",
  year = 	 1996,
   Series     = {Lecture Notes in Computer Science},
   Publisher  = SP,
   Volume     = {1181},
  address =	 "Novosibirsk, Russia",
  month =	 jun
}

@Proceedings{CSN1987,
  title = 	 "Computing Science in the Netherlands",
  booktitle = 	 "Conference Papers of CSN'87: Computing Science in the Netherlands",
  year = 	 1987,
  publisher =	 "SION"
}

@Proceedings{IWMM1995,
  title = 	 proc#iwmm#" 95",
  booktitle = 	 proc#iwmm#" 95",
  year = 	 1995,
  editor =	 "Henry G. Baker",
  address =	 "Kinross, UK",
  month =	 sep,
  note =	 "LNCS 986"
}

@Proceedings{SAC1996,
  title = 	 proc#{11th }#sac#" (SAC '96)",
  booktitle = 	 proc#{11th }#sac#" (SAC '96)",
  year = 	 1996,
  publisher =	 "ACM",
  address =	 "Philadelphia, PA",
  month =	 "feb"
}

@Proceedings{ILPS1995,
  title = 	 "International Logic Programming Symposium ILPS'95",
  booktitle = 	 "International Logic Programming Symposium ILPS'95",
  year = 	 1995,
  editor =	 "John Lloyd",
  publisher =	 "MIT Press",
  month =	 dec,
  address =	{Portland, Oregon}
}

@PROCEEDINGS{IJCAI1985,
	TITLE = proc#{9th }#IJCAI,
	BOOKTITLE = proc#{9th }#IJCAI,
	YEAR = 1985
}

@PROCEEDINGS{RTA1985,
	TITLE = RTA,
	YEAR = 1985,
	BOOKTITLE = RTA,
	EDITOR = {J.-P. Jouannaud},
	PUBLISHER = SP,
	ADDRESS = {Dijon, France},
	NOTE = {LNCS 202}
}

@PROCEEDINGS{HOPL1981,
	TITLE = {History of Programming Languages},
	YEAR = 1981,
	BOOKTITLE = {History of Programming Languages},
	EDITOR = {Richard L. Wexelblat},
	PUBLISHER = {Academic Press},
	ADDRESS = {New York}
}

@PROCEEDINGS{WIFPL1992,
	TITLE = proc#WIFPL#{~1992},
	YEAR = 1992,
	BOOKTITLE = proc#WIFPL#{~1992},
	PUBLISHER = {Aachener Informatik Berichte Nr. 92-19},
	ADDRESS = {Aachen, Germany},
	MONTH = sep
}

@PROCEEDINGS{WIFPL1993,
	TITLE = proc#WIFPL#{~1993},
	YEAR = 1993,
	BOOKTITLE = proc#WIFPL#{~1993},
	PUBLISHER = {University of Nijmegen},
	ADDRESS = {Nijmegen, The Netherlands},
	MONTH = sep
}

@PROCEEDINGS{PLSA1994,
	TITLE = {Programming Languages and Systems Architecture},
	YEAR = 1994,
	BOOKTITLE = {Programming Languages and Systems Architecture},
	EDITOR = {Jürg Gutknecht},
	PUBLISHER = SP,
	ADDRESS = {Zürich, Switzerland},
	MONTH = mar,
	NOTE = {LNCS 782}
}

		  
@Proceedings{SIPL1993,
  title = 	 {SIPL '93, ACM SIGPLAN Workshop on State in Programming Languages},
  booktitle = 	 {SIPL '93, ACM SIGPLAN Workshop on State in Programming Languages},
  year = 	 1993,
  editor =	 {Paul Hudak},
  publisher =	 {Yale University, Department of Computer Science, New Haven, CT},
  address =	 "Copenhagen, Denmark",
  month =	 jun,
  note =	 "Technical Report YALEU/DCS/RR-968"
}

@PROCEEDINGS{SIPL1995,
	TITLE = {ACM SIGPLAN Workshop on State in Programming Languages},
	YEAR = 1995,
	BOOKTITLE = {ACM SIGPLAN Workshop on State in Programming Languages},
	EDITOR = {Uday S. Reddy},
	ORGANIZATION = {University of Illinois},
	ADDRESS = {San Francisco, CA},
	MONTH = jan
}

@PROCEEDINGS{HOPL1993,
	TITLE = {History of Programming Languages~II},
	YEAR = 1993,
	BOOKTITLE = {History of Programming Languages~II},
	EDITOR = {Jean E. Sammet},
	PUBLISHER = {ACM},
	ADDRESS = {New York},
	MONTH = apr,
	NOTE = {SIGPLAN Notices 3(28)}
}

@PROCEEDINGS{ML1992,
	TITLE = Proc#{ACM SIGPLAN Workshop on {ML} and its Applications},
	YEAR = 1992,
	BOOKTITLE = {Proc. ACM SIGPLAN Workshop on {ML} and its Applications},
	ADDRESS = {San Francisco, CA},
	MONTH = jun
}

@TechReport{ML1994,
      title =        "Record of the {ACM-SIGPLAN} Workshop on 
                      {ML} and its Applications",
      booktitle =    "Record of the {ACM-SIGPLAN} Workshop on 
                      {ML} and its Applications",
      series = "INRIA Research Report",
      institution =  "INRIA",
      year =         "1994",
      type =      "Research Report",
      number =    "2265",
      address =   "BP 105, 78153 Le Chesnay Cedex, France",
      month =     "June"
}

@PROCEEDINGS{HASKELL1995,
	TITLE = proc#{of the Haskell Workshop},
	YEAR = 1995,
	BOOKTITLE = proc#{of the Haskell Workshop},
	EDITOR = {Paul Hudak},
	ADDRESS = {La Jolla, CA},
	MONTH = jun,
	NOTE = {Yale University Research Report YALEU/DCS/RR-1075}
}

@PROCEEDINGS{Fuji1995,
	TITLE = {Fuji Workshop on Functional and Logic Programming},
	YEAR = 1995,
	BOOKTITLE = {Fuji Workshop on Functional and Logic Programming},
	EDITOR = {Masato Takeichi},
	PUBLISHER = {World Scientific Press, Singapore},
	ADDRESS = {Fuji Susono, Japan},
	MONTH = jul,
	ISBN = {981-02-2437}
}

@Proceedings{IFIP1994,
  title = 	 "Technology and Foundations, Information Processing
      '94, Proceedings of the IFIP 13th World Computer Congress",
  booktitle = 	 "Technology and Foundations, Information Processing
      '94, Proceedings of the IFIP 13th World Computer Congress",
  year = 	 1994,
  editor =	 "Bjørn Pehrson and Imre Simon",
  volume =	 "I",
  number =	 "A-51",
  series =	 "IFIP Transactions",
  publisher =	 "North-Holland",
  address =	 "Hamburg, Germany",
  month =	 aug
}

@PROCEEDINGS{ALP1988,
	TITLE = Proc#{First International Workshop on Algebraic and Logic Programming},
	YEAR = 1988,
	BOOKTITLE = {Proc. First International Workshop on Algebraic and Logic Programming},
	ADDRESS = {Gaussig, G.D.R.},
	PUBLISHER = SP,
	NOTE = {LNCS 343}
}

@PROCEEDINGS{PEMC1988,
	TITLE = {Partial Evaluation and Mixed Computation},
	YEAR = 1988,
	BOOKTITLE = {Partial Evaluation and Mixed Computation},
	EDITOR = {Dines Bjørner and Andrei P. Ershov and Neil D. Jones},
	PUBLISHER = {North-Holland},
	ADDRESS = {Amsterdam}
}

@Proceedings{PE1996bis,
   BookTitle  = {Partial Evaluation},
   Editor     = {Danvy, Olivier and Gl{\"u}ck, Robert and Thiemann, Peter},
   Series     = {Lecture Notes in Computer Science},
   Publisher  = SP,
   Volume     = {1110},
   month      = feb,
   address    = {Schlo{\ss{}} Dagstuhl, Germany},
   Year       = {1996}
}

@PROCEEDINGS{CTCS1989,
	TITLE = {Category Theory and Computer Science},
	YEAR = {1989},
	BOOKTITLE = {Category Theory and Computer Science},
	EDITOR = {D. H. Pitt and D. E. Rydeheard and P. Dybjer and A. M. Pitts and A. Poigné},
	PUBLISHER = SP,
	ADDRESS = {Manchester, UK},
	MONTH = sep,
	NOTE = {LNCS 389}
}

@PROCEEDINGS{WGR1986,
	TITLE = {Graph Reduction, Proceedings of a Workshop},
	YEAR = 1986,
	BOOKTITLE = {Graph Reduction, Proceedings of a Workshop},
	EDITOR = {Joseph H. Fasel and Robert M. Keller},
	PUBLISHER = SP,
	ADDRESS = {Santa Fé, New Mexico, USA},
	MONTH = sep
}

@PROCEEDINGS{Supercomputing1991,
	TITLE = {{ACM-SIGARCH} Fifth International Conference on Supercomputing},
	YEAR = 1991,
	BOOKTITLE = {Fifth International Conference on Supercomputing},
	PUBLISHER = {ACM},
	ADDRESS = {Cologne, Germany},
	MONTH = jun
}

@PROCEEDINGS{IEEEPDP1992,
	TITLE = {4th {IEEE} Symposium on Parallel and Distributed Processing},
	YEAR = 1992,
	BOOKTITLE = {4th {IEEE} Symp. Parallel and Distributed Processing},
	PUBLISHER = {{IEEE} Press},
	ADDRESS = {Arlington, TX},
	MONTH = dec
}

@PROCEEDINGS{IEEEPDP1991,
	TITLE = {3rd {IEEE} Symposium on Parallel and Distributed Processing},
	YEAR = 1991,
	BOOKTITLE = {3rd {IEEE} Symp. Parallel and Distributed Processing},
	PUBLISHER = {{IEEE} Press},
	ADDRESS = {Dallas, TX},
	MONTH = dec
}

@PROCEEDINGS{ISP1980,
	TITLE = {International Symposium on Programming, 4th Colloquium},
	YEAR = 1980,
	BOOKTITLE = {International Symposium on Programming, 4th Colloquium},
	EDITOR = {B. Robinet},
	PUBLISHER = SP,
	ADDRESS = {Berlin},
	NOTE = {LNCS 83}
}

@PROCEEDINGS{ISP1984,
	TITLE = {International Symposium on Programming, 6th Colloquium},
	YEAR = 1984,
	BOOKTITLE = {International Symposium on Programming, 6th Colloquium},
	EDITOR = {M. Paul and B. Robinet},
	PUBLISHER = SP,
	ADDRESS = {Toulouse},
	NOTE = {LNCS 167},
	MONTH = apr
}

@Proceedings{LOPSTR1995,
  title = 	 proc#LOPSTR#" '95",
  booktitle = 	 proc#LOPSTR#" '95",
  year = 	 1996,
  publisher =	 SP,
  note =	 "LNCS"
}

@PROCEEDINGS{PLILP1991,
	TITLE = oldPLILP#{ '91},
	YEAR = 1991,
	BOOKTITLE = Proc#oldPLILP#{ '91},
        EDITOR = {Jan Maluszynski and Martin Wirsing},
	PUBLISHER = SP,
	ADDRESS = {Passau, Germany},
	MONTH = aug,
	NOTE = {LNCS 528}
}

@PROCEEDINGS{PLILP1992,
	TITLE = oldPLILP#{ '92},
	YEAR = 1992,
	BOOKTITLE = proc#oldPLILP#{ '92},
	EDITOR = {Maurice Bruynooghe and Martin Wirsing},
	PUBLISHER = SP,
	ADDRESS = {Leuven, Belgium},
	MONTH = aug,
	NOTE = {LNCS 631}
}

@Proceedings{PLILP1994,
  title = 	 PLILP#" (PLILP '94)",
  booktitle = 	 PLILP#" (PLILP '94)",
  year = 	 1994,
  editor =	 "Manuel V. Hermenegildo and Jaan Penjam",
  publisher = SP,
  address =	 "Madrid, Spain",
  month =	 sep,
  series =	 LNCS,
  volume = 844
}

@PROCEEDINGS{PLILP1995,
	TITLE = PLILP#{ (PLILP '95)},
	YEAR = 1995,
	BOOKTITLE = PLILP#{ (PLILP '95)},
	EDITOR = {Doaitse Swierstra and Manuel Hermenegildo},
	PUBLISHER = SP,
	ADDRESS = {Utrecht, The Netherlands},
	MONTH = sep,
        series = LNCS,
        volume = 982
}



@Proceedings{PLILP1996,
  title = 	 PLILP#{ (PLILP '96)},
  booktitle = 	 PLILP#{ (PLILP '96)},
  year = 	 1996,
  editor =	 "Herbert Kuchen and Doaitse Swierstra",
  volume =	 1140,
  series =	 LNCS,
  publisher =	 SP,
  address =	 "Aachen, Germany",
  month =	 sep
}

@Proceedings{PLILP1997,
  title = 	 PLILP#{ (PLILP '97)},
  booktitle = 	 PLILP#{ (PLILP '97)},
  year = 	 1996,
  editor =	 "Hugh Glaser and Herbert Kuchen",
  volume =	 "?",
  series =	 LNCS,
  publisher =	 SP,
  address =	 "Southampton, England",
  month =	 sep
}

@PROCEEDINGS{GG1978,
	TITLE = {1978 International Workshop in Graph Grammars and their Application to Computer Science and Biology},
	YEAR = 1978,
	BOOKTITLE = {1978 International Workshop in Graph Grammars and their Application to Computer Science and Biology},
	EDITOR = {Volker Claus and Hartmut Ehrig and G. Rozenberg},
	PUBLISHER = SP,
	ADDRESS = {Bad Honnef, Germany}
}

@Proceedings{ICALP1980,
  title = 	 "International Conference on Automata, Languages, and Programming. Seventh ICALP",
  booktitle = 	 "International Conference on Automata, Languages, and Programming. Seventh ICALP",
  year = 	 1980,
  volume =	 85,
  series =	 "Lecture Notes in Computer Science",
  publisher =	 SP,
  address =	 "Noordwijkerhout, The Netherlands"
}

@PROCEEDINGS{ICALP1992,
	TITLE = Proc#{International Conference on Automata, Languages and Programming},
	YEAR = 1992,
	BOOKTITLE = Proc#{ICALP'92},
	NOTE = {LNCS }
}

@Proceedings{ICALP1994,
  title = 	 proc#"International Conference of Automata, Languages
  and Programming, ICALP '94",
  booktitle = 	 proc#"International Conference of Automata, Languages
  and Programming, ICALP '94",
  volume =	 820,
  series =	 "Lecture Notes in Computer Science",
  publisher = SP,
  year = 	 1994
}

@PROCEEDINGS{STACS1984,
	TITLE = proc#stacs,
	YEAR = 1984,
	BOOKTITLE = proc#stacs,
	EDITOR = {M. Fontet and K. Mehlhorn},
	PUBLISHER = SP,
	MONTH = apr,
	NOTE = {LNCS 166}
}

@PROCEEDINGS{STACS1987,
	TITLE = proc#stacs,
	YEAR = 1987,
	BOOKTITLE = proc#stacs,
	PUBLISHER = SP,
	NOTE = {LNCS 247}
}

@Proceedings{TACS1994,
  title = 	 proc#tacs,
  booktitle = 	 proc#tacs,
  year = 	 1994,
  editor =	 "Masami Hagiya and John C. Mitchell",
  volume =	 789,
  series =	 LNCS,
  publisher =	 SP,
  month =	 apr
}

@Proceedings{TACS1997,
  title = 	 proc#tacs,
  booktitle = 	 proc#tacs,
  year = 	 1997,
  volume =	 "?",
  series =	 LNCS,
  publisher =	 SP,
  address =	 "Sendai, Japan",
  month =	 sep
}

@PROCEEDINGS{TAPSOFT1989,
	TITLE = {TAPSOFT '89, Proceedings of the International Joint Conference on Theory and Practice of Software Development},
	YEAR = 1989,
	BOOKTITLE = {TAPSOFT '89},
	EDITOR = {J. Díaz and F. Orejas},
	PUBLISHER = SP,
	ADDRESS = {Barcelona, Spain},
	MONTH = mar,
	NOTE = {LNCS 351,352}
}

@PROCEEDINGS{TAPSOFT1991,
	TITLE = {TAPSOFT 1991},
	YEAR = 1991,
	BOOKTITLE = {Proc. TAPSOFT 1991},
  volume =	 394,
  series =	 LNCS,
  publisher =	 SP
}



@Proceedings{TAPSOFT1993,
  title = 	 {TAPSOFT 1993},
  booktitle = 	 {TAPSOFT 1993},
  year = 	 1993
}

@Proceedings{FASE1997,
  title = 	 "TAPSOFT '97: Theory and Practice of Software Development",
  booktitle = 	 "TAPSOFT '97: Theory and Practice of Software Development",
  year = 	 1997,
  volume =	 1214,
  series =	 LNCS,
  publisher =	 SP,
  address =	 "Lille, France",
  month =	 apr
}

@BOOK{Huet1990,
	EDITOR = {Gerard Huet},
	TITLE = {Logical Foundations of Functional Programming},
	BOOKTITLE = {Logical Foundations of Functional Programming},
	PUBLISHER = AW,
	YEAR = 1990,
	ISBN = {ISBN 0-201-17234-8}
}

@PROCEEDINGS{PDO1985,
	TITLE = {Programs as Data Objects},
	YEAR = {1985},
	BOOKTITLE = {Programs as Data Objects},
	EDITOR = {Harald Ganzinger and Neil D. Jones},
	PUBLISHER = SP,
	ADDRESS = {Copenhagen, Denmark},
	MONTH = oct,
	NOTE = {LNCS 217}
}

@PROCEEDINGS{RTA1987,
	TITLE = Proc#{second Conference on Rewriting Techniques and Applications},
	YEAR = 1987,
	PUBLISHER = SP,
	ADDRESS = {Bordeaux},
	MONTH = may
}

@Proceedings{ICCL1990,
  key = {ICCL 1990},
  title = 	 {International Conference on Computer Languages 1990},
  booktitle = 	 proc#{IEEE International Conference on Computer Languages 1990},
  year = 	 1990,
  publisher =	 "IEEE",
  address =	 "New Orleans, LS",
  month =	 mar
}

@PROCEEDINGS{ICCL1992,
  key = {ICCL 1992},
	TITLE = {International Conference on Computer Languages 1992},
	YEAR = 1992,
	MONTH = apr,
	PUBLISHER = {IEEE},
	ADDRESS = {Oakland, CA},
	BOOKTITLE = Proc#{IEEE International Conference on Computer Languages 1992}
}


@PROCEEDINGS{ICCL1994,
  key = {ICCL 1994},
	TITLE = {International Conference on Computer Languages 1994},
	YEAR = 1994,
	BOOKTITLE = {IEEE International Conference on Computer Languages 1994},
	PUBLISHER = {IEEE Computer Society Press},
	ADDRESS = {Toulouse, France}
}

@PROCEEDINGS{MFPLF1987,
	TITLE = {Mathematical Foundations of Programming Language Semantics},
	YEAR = 1987,
	BOOKTITLE = {Proc. 3rd Workshop Mathematical Foundations of Programming Language Semantics},
	EDITOR = {M. Main and A. Melton and M. Mislove and D. Schmidt},
	PUBLISHER = SP,
	MONTH = apr,
	NOTE = {LNCS 298}
}

@Proceedings{MFPS1993,
  title = 	 proc#" of the 9th Conference on "#MFPS,
  booktitle = 	 proc#" of the 9th Conference on "#MFPS,
  year = 	 1993,
  key =		 "MFPS 93",
  editor =	 "Stephen Brookes and Michael Main and Austin Melton
		    and Michael Mislove and David Schmidt",
  volume =	 802,
  series =	 LNCS,
  publisher =	 sp,
  address =	 "New Orleans, Louisiana",
  month =	 apr
}

@Proceedings{MFPS1995,
  title = 	 proc#MFPS#", Eleventh Annual Conference",
  booktitle = 	 proc#MFPS#", Eleventh Annual Conference",
  year = 	 1995,
  volume =	 1,
  series =	 ENTCS,
  publisher =	 "Elsevier Science BV",
  organization = "Tulane University",
  address =	 "New Orleans, LA",
  month =	 mar
}

@Proceedings{MFPS1997,
  title = 	 proc#MFPS#", Thirteenth Annual Conference",
  booktitle = 	 proc#MFPS#", Thirteenth Annual Conference",
  year = 	 1997,
  volume =	 5,
  series =	 ENTCS,
  publisher =	 "Elsevier Science BV",
  organization = "Carnegie Mellon University",
  address =	 "Pittsburgh, PA",
  month =	 mar
}

@PROCEEDINGS{ICALP1989,
	TITLE = {Colloquium on Automata, Languages and Programming},
	YEAR = 1989,
	BOOKTITLE = {Colloquium on Automata, Languages and Programming},
	PUBLISHER = SP,
	NOTE = {LNCS 372}
}

@PROCEEDINGS{Atlantique1994,
	TITLE = proc#{The Atlantique Workshop on Semantics Based Program Manipulation},
	YEAR = 1994,
	BOOKTITLE = proc#{The Atlantique Workshop on Semantics Based Program Manipulation},
	EDITOR = {Neil Jones and Carolyn Talcott},
	PUBLISHER = {DIKU},
	ORGANIZATION = {University of Copenhagen},
	ADDRESS = {Universitetsparken 1, DK-2100 København Ø},
	MONTH = jan,
	NOTE = {Rapport Nr. 94/12},
	issn = {0107-8283}
}

@PROCEEDINGS{PEPM1991,
	TITLE = proclong#acmsigsymp#PEPM#{ PEPM '91},
	EDITOR = {Paul Hudak and Neil D. Jones},
	YEAR = 1991,
	BOOKTITLE = proc#acmsigsymp#PEPM#{ PEPM '91},
	ORGANIZATION = {ACM},
	ADDRESS = {New Haven, CT},
	MONTH = jun,
	NOTE = {SIGPLAN Notices 26(9)}
}

@PROCEEDINGS{PEPM1992,
	TITLE = proclong#acmsigwork#PEPM#{ PEPM '92},
	YEAR = 1992,
	BOOKTITLE = proc#acmsigwork#PEPM#{ PEPM '92},
	EDITOR = {Charles Consel},
	PUBLISHER = {Yale University},
	ADDRESS = {San Francisco, CA},
	MONTH = jun,
	NOTE = {Report YALEU/DCS/RR-909}
}

@PROCEEDINGS{PEPM1993,
	TITLE = proclong#acmsigsymp#PEPM#{ PEPM '93},
	YEAR = 1993,
	BOOKTITLE = proc#acmsigsymp#PEPM#{ PEPM '93},
	EDITOR = {David Schmidt},
	PUBLISHER = {ACM Press},
	ADDRESS = {Copenhagen, Denmark},
	MONTH = jun,
	ISBN = {0-89791-594-1}
}

@PROCEEDINGS{PEPM1994,
	TITLE = proclong#acmsigwork#PEPM#{ PEPM '94},
	YEAR = 1994,
	BOOKTITLE = proc#acmsigwork#PEPM#{ PEPM '94},
	EDITOR = {Peter Sestoft and Harald Søndergaard},
	PUBLISHER = {ACM},
	ADDRESS = {Orlando, Fla.},
	MONTH = jun
}

@PROCEEDINGS{PEPM1995,
	TITLE = proclong#acmsigsymp#PEPM#{ PEPM '95},
	YEAR = 1995,
	BOOKTITLE = proc#acmsigsymp#PEPM#{ PEPM '95},
	EDITOR = {William Scherlis},
	PUBLISHER = {ACM Press},
	ADDRESS = {La Jolla, CA},
	MONTH = jun,
	ISBN = {0-89791-720-0},
	ACMNO = 551951
}

@PROCEEDINGS{PEPM1997,
	TITLE = proclong#acmsigsymp#PEPM#{ PEPM '97},
	YEAR = 1997,
	BOOKTITLE = proc#acmsigsymp#PEPM#{ PEPM '97},
	EDITOR = {Charles Consel},
	PUBLISHER = {ACM Press},
	ADDRESS = {Amsterdam, The Netherlands},
	MONTH = jun,
	ISBN = {0-89791-720-0},
	ACMNO = ??????
}

@PROCEEDINGS{PASCO1994,
	TITLE = {PASCO'94: First International Symposium on Parallel
                 Symbolic Computation},
	YEAR = 1994,
	BOOKTITLE = {PASCO'94: First International Symposium on Parallel
                 Symbolic Computation},
	EDITOR = {Hoon Hong},
	PUBLISHER = {World Scientific Publishing Company},
	ADDRESS = {Hagenberg/Linz, Austria},
	MONTH = sep
}

@Proceedings{PASCO1997,
  title = 	 "PASCO'97: Second International Symposium on Parallel
		    Symbolic Computation",
  booktitle = 	 "PASCO'97: Second International Symposium on Parallel
		    Symbolic Computation",
  year = 	 1997,
  editor =	 "Erich Kaltofen",
  publisher =	 {World Scientific Publishing Company},
  address =	 "Maui, Hawaii",
  month =	 jul
}

@PROCEEDINGS{OOPSLA1992,
	TITLE = {Conference on Object-Oriented Programming Systems, Languages, and Applications},
	YEAR = 1992,
	BOOKTITLE = {Conference on Object-Oriented Programming Systems, Languages, and Applications},
	ORGANIZATION = {ACM},
	ADDRESS = {Vancouver, British Columbia, Canada},
	MONTH = oct,
	NOTE = {SIGPLAN Notices (27)10}
}

@Proceedings{OOPSLA1995,
  title = 	 {Conference on Object-Oriented Programming Systems, Languages, and Applications},
  year = 	 1995,
  booktitle =	 {Conference on Object-Oriented Programming Systems, Languages, and Applications},
  address =	 "Austin, TX",
  month =	 oct,
  note =	 "SIGPLAN Notices (30) 10"
}

@PROCEEDINGS{ICALP1985,
	TITLE = {Proc. Twelfth International EATCS Colloquium on Automata, Languages and Programming},
	YEAR = 1985,
	BOOKTITLE = {Proc. Twelfth International EATCS Colloquium on Automata, Languages and Programming},
	ADDRESS = {Nafplion, Greece},
	NOTE = {LNCS 194}
}

@PROCEEDINGS{ICALP1990,
	TITLE = {Colloquium on Automata, Languages and Programming},
	YEAR = 1990,
	BOOKTITLE = {Colloquium on Automata, Languages and Programming},
	PUBLISHER = SP
}

***************** Conference on Lisp and Functional Programming ************************

@PROCEEDINGS{LFP1982,
	KEY={LFP 1982},
	TITLE = {ACM Symposium on LISP and Functional Programming},
	BOOKTITLE = {ACM Symposium on LISP and Functional Programming},
	YEAR = 1982,
	ADDRESS = {Pittsburgh, Pennsylvania},
	PUBLISHER = {ACM Press}
}

@PROCEEDINGS{LFP1984,
	KEY={LFP 1984},
	TITLE = {ACM Symposium on LISP and Functional Programming},
	BOOKTITLE = {ACM Symposium on LISP and Functional Programming},
	YEAR = {1984}
}

@PROCEEDINGS{LFP1986,
	KEY={LFP 1986},
	TITLE = {ACM Symposium on LISP and Functional Programming},
	YEAR = 1986,
	BOOKTITLE = {ACM Symposium on LISP and Functional Programming}
}

@PROCEEDINGS{LFP1988,
	KEY={LFP 1988},
	TITLE = {ACM Symposium on LISP and Functional Programming},
	YEAR = 1988,
	BOOKTITLE = {ACM Symposium on LISP and Functional Programming}
}

@PROCEEDINGS{LFP1990,
	KEY={LFP 1990},
	TITLE = Proc#{1990 ACM Conference on Lisp and Functional Programming},
	YEAR = 1990,
	BOOKTITLE = Proc#{1990 ACM Conference on Lisp and Functional Programming},
	ADDRESS = {Nice, France},
	PUBLISHER = {ACM Press}
}

@PROCEEDINGS{LFP1992,
	KEY = {LFP 1992},
	TITLE = Proc#{1992 ACM Conference on Lisp and Functional Programming},
	BOOKTITLE = Proc#{1992 ACM Conference on Lisp and Functional Programming},
	YEAR = 1992,
	ADDRESS = {San Francisco, California, USA},
	MONTH = jun
}


@PROCEEDINGS{LFP1994,
	KEY = {LFP 1994},
	TITLE = proc#{1994 ACM Conference on Lisp and Functional Programming},
	YEAR = 1994,
	BOOKTITLE = proc#{1994 ACM Conference on Lisp and Functional Programming},
	PUBLISHER = {ACM Press},
	ADDRESS = {Orlando, Florida, USA},
	MONTH = jun
}

@PROCEEDINGS{ESOP1988,
	TITLE = proc#{of the 2nd }#ESOP#{ 1988},
	YEAR = 1988,
	BOOKTITLE = proc#{2nd }#ESOP#{ 1988},
	EDITOR = {Harald Ganzinger},
	PUBLISHER = SP,
        SERIES = LNCS,
	Volume = 300
}

@PROCEEDINGS{ESOP1990,
	TITLE = proc#{of the 3rd }#ESOP#{ 1990},
	YEAR = 1990,
	BOOKTITLE = proc#{3rd }#ESOP#{ 1990},
	EDITOR = {Neil D. Jones},
	ADDRESS = {Copenhagen, Denmark},
	PUBLISHER = SP,
        SERIES = LNCS,
	Volume = 432
}

@PROCEEDINGS{ESOP1992,
	TITLE = Proc#{of the 4th }#ESOP#{ 92},
	YEAR = 1992,
	BOOKTITLE = proc#{4th }#ESOP#{ '92},
	EDITOR = {Bernd {Krieg-Brückner}},
	PUBLISHER = SP,
	ADDRESS = {Rennes, France},
	MONTH = feb,
        SERIES = LNCS,
	Volume = 582
}

@PROCEEDINGS{ESOP1994,
	TITLE = proc#{of the 5th }#esop,
	YEAR = 1994,
	BOOKTITLE = proc#{5th }#esop,
	EDITOR = {Donald Sannella},
	PUBLISHER = SP,
	ADDRESS = {Edinburgh, UK},
	MONTH = apr,
        SERIES = LNCS,
	Volume = 788
}

@PROCEEDINGS{ESOP1996,
	TITLE = proc#{of the 6th }#esop,
	YEAR = 1994,
	BOOKTITLE = proc#{6th }#esop,
	EDITOR = {Hanne Riis Nielson},
	PUBLISHER = SP,
	ADDRESS = {Linköping, Sweden},
	MONTH = apr,
        SERIES = LNCS,
	Volume = 1058
}

@PROCEEDINGS{CAAP1994,
	TITLE = proc#CAAP,
	YEAR = 1994,
	BOOKTITLE = proc#CAAP,
	EDITOR = {Sophie Tison},
	PUBLISHER = SP,
	ADDRESS = {Edinburgh, UK},
	MONTH = apr,
        SERIES = LNCS,
	Volume = 787
}

@PROCEEDINGS{CAAP1996,
	TITLE = proc#CAAP,
	YEAR = 1996,
	BOOKTITLE = proc#CAAP,
	EDITOR = {},
	PUBLISHER = SP,
	ADDRESS = {Linköping, Sweden},
	MONTH = apr,
        SERIES = LNCS,
	Volume = ???
}

@PROCEEDINGS{FPCA1985,
	KEY = {FPCA1985},
	TITLE = fpca,
	YEAR = {1985},
	BOOKTITLE = {Proc.~}#FPCA#{ 1985},
	PUBLISHER = SP,
	NOTE = {LNCS 201}
}

@PROCEEDINGS{FPCA1987,
	KEY = {FPCA1987},
	TITLE = fpca,
	YEAR = 1987,
	ADDRESS = {Portland, Oregon},
	BOOKTITLE = {Proc.~}#FPCA#{ 1987},
	EDITOR = {Gilles Kahn},
	PUBLISHER = SP,
	MONTH = sep,
        SERIES = LNCS,
	VOLUME = 274
}

@PROCEEDINGS{FPCA1989,
	TITLE = fpca,
	YEAR = 1989,
	ADDRESS = {London, GB},
	BOOKTITLE = {Proc.~}#FPCA#{ 1989},
	KEY = {FPCA1989}
}
@PROCEEDINGS{FPCA1991,
	KEY = {FPCA1991},
	TITLE = FPCA,
	YEAR = 1991,
	BOOKTITLE = {Proc.~}#FPCA#{ 1991},
	EDITOR = {John Hughes},
	PUBLISHER = SP,
	ADDRESS = {Cambridge, MA},
	SERIES = LNCS,
	VOLUME = 523
}


@PROCEEDINGS{FPCA1993,
	KEY = {FPCA1993},
	TITLE = fpca,
	YEAR = 1993,
	BOOKTITLE = {Proc.~}#FPCA#{ 1993},
	EDITOR = {Arvind},
	PUBLISHER = {ACM Press, New York},
	ADDRESS = {Copenhagen, Denmark},
	MONTH = jun
}

@PROCEEDINGS{FPCA1995,
	KEY = {FPCA1995},
	TITLE = fpca,
	YEAR = 1995,
	BOOKTITLE = {Proc.~}#FPCA#{ 1995},
	EDITOR = {Simon {Peyton Jones}},
	PUBLISHER = {ACM Press, New York},
	ADDRESS = {La Jolla, CA},
	MONTH = jun,
	ISBN = {0-89791-719-7}
}



@Proceedings{ICFP1996,
  title = 	 icfp,
  booktitle = 	 proc#icfp#" 1996",
  year = 	 1996,
  key =		 "ICFP'96",
  editor =	 "R. Kent Dybvig",
  publisher =	 "ACM Press, New York",
  address =	 "Philadelphia, PA",
  month =	 may,
  ISBN = 	 {0-89791-719-7},
  annote =	 "verify ISBN"
}

@Proceedings{ICFP1997,
  title = 	 icfp,
  booktitle = 	 proc#icfp#" 1997",
  year = 	 1997,
  editor =	 "Mads Tofte",
  publisher =	 "ACM Press, New York",
  address =	 "Amsterdam, The Netherlands",
  month =	 jun
}

***************** Symposium on Principles of Programming Languages ***********************

@PROCEEDINGS{POPL1977,
	KEY = {POPL1977},
	TITLE = Proc#{of the 4th }#popl,
	YEAR = 1977,
	BOOKTITLE = {Proc.\ 4th  }#POPL,
	ORGANIZATION = {ACM}
}

@PROCEEDINGS{POPL1978,
	KEY = {POPL1978},
	TITLE = Proc#{5th }#popl,
	YEAR = 1978,
	BOOKTITLE = proc#{5th  }#POPL,
	publisher = {ACM Press},
	address = {Tucson, Arizona},
dates = "January 23--25",
	month = jan
}

@Proceedings{POPL1979,
  title = 	 Proc#{of the 6th }#popl,
  booktitle = 	 Proc#{of the 6th }#popl,
  year = 	 1979,
  key =		 "POPL1979",
  publisher =	 "ACM"
}

@PROCEEDINGS{POPL1982,
	KEY = {POPL1982},
	TITLE = proc#{of the 9th }#popl,
	YEAR = 1982,
	BOOKTITLE = {Proc.\  9th }#POPL
}

@PROCEEDINGS{POPL1983,
	KEY = {POPL1983},
	TITLE = {10th }#popl,
	YEAR = 1983,
	BOOKTITLE = {Proc.\  10th  }#POPL
}

@PROCEEDINGS{POPL1986,
	KEY = {POPL1986},
	TITLE = Proc#{of the 13th  }#popl,
	YEAR = 1986,
	BOOKTITLE = {Proc.\ 13th  }#POPL,
	ORGANIZATION = {ACM},
	ADDRESS = {St.\ Petersburg, Florida}
}

@PROCEEDINGS{POPL1987,
	KEY = {POPL1987},
	TITLE = Proc#{of the 14th  }#popl,
	YEAR = 1987,
	BOOKTITLE = {Proc.\ 14th  }#POPL,
	ORGANIZATION = {ACM}
}

@PROCEEDINGS{POPL1988,
	KEY = {POPL1988},
	TITLE = proc#{15th  }#popl,
	YEAR = 1988,
	PUBLISHER = {ACM Press},
	BOOKTITLE = proc#{15th  }#POPL,
	ADDRESS = {San Diego, California},
	MONTH = jan
}

@PROCEEDINGS{POPL1989,
	KEY = {POPL1989},
	TITLE = {16th  }#popl,
	YEAR = 1989,
	PUBLISHER = {ACM Press},
	BOOKTITLE = {Proc. 16th  }#POPL
}

@PROCEEDINGS{POPL1990,
	KEY = {POPL1990},
	TITLE = {17th  }#popl,
	YEAR = 1990,
	PUBLISHER = {ACM Press},
	BOOKTITLE = {Proc. 17th  }#POPL
}

@PROCEEDINGS{POPL1991,
	KEY = {POPL1991},
	TITLE = {18th  }#popl,
	YEAR = 1991,
	BOOKTITLE = {Proc. 18th  }#POPL,
	PUBLISHER = {ACM Press},
	ADDRESS = {Orlando, Florida},
	MONTH = jan
}

@PROCEEDINGS{POPL1992,
	KEY = {POPL1992},
	TITLE = {19th  }#popl,
	YEAR = 1992,
	BOOKTITLE = {Proc. 19th  }#POPL,
	PUBLISHER = {ACM Press},
	ADDRESS = {Albuquerque, New Mexico},
	MONTH = jan
}

@PROCEEDINGS{POPL1993,
	KEY = {POPL1993},
	TITLE = proc#{20th  }#popl,
	YEAR = 1993,
	BOOKTITLE = proc#{20th  }#POPL,
	noteEDITOR = "Susan L. Graham",
	PUBLISHER = {ACM Press},
	ADDRESS = {Charleston, South Carolina},
	MONTH = jan
}

@PROCEEDINGS{POPL1994,
	KEY = {POPL1994},
	TITLE = proc#{21st  }#popl,
	YEAR = 1994,
	BOOKTITLE = proc#{21st  }#popl,
	PUBLISHER = {ACM Press},
	ADDRESS = {Portland, OG},
	MONTH = jan
}

@PROCEEDINGS{POPL1995,
	TITLE = proc#"22nd  "#popl,
	YEAR = 1995,
        KEY = {POPL1995},
	BOOKTITLE = proc#"22nd  "#popl,
	PUBLISHER = {ACM Press},
	ADDRESS = {San Francisco, CA},
	MONTH = jan
}


@Proceedings{POPL1996,
  title = 	 proc#"23rd  "#popl,
  BOOKTITLE =	 proc#"23rd  "#popl,
  noteEDITOR = 	 "Guy L. Steele",
  year = 	 1996,
  key =		 "POPL1996",
  publisher =	 "ACM Press",
  address =	 "St.\ Petersburg, Fla.",
  month =	 jan
}

@Proceedings{POPL1997,
  title = 	 proc#"24th "#popl,
  bootitle = 	 proc#"24th "#popl,
  year = 	 1997,
  key =		 "POPL1997",
  editor =	 "Neil D. Jones",
  publisher =	 "ACM Press",
  address =	 "Paris, France",
  month =	 jan
}

********************** Glasgow Workshop on Functional Programming ***********************




@PROCEEDINGS{Glasgow1989,
	TITLE = {Functional Programming, Glasgow 1989},
	BOOKTITLE = {Functional Programming, Glasgow 1989},
	YEAR = {1989},
	EDITOR = {Kei Davis and John Hughes},
	PUBLISHER = SP
}

@PROCEEDINGS{Glasgow1990,
	TITLE = {Functional Programming, Glasgow 1990},
	YEAR = 1991,
	BOOKTITLE = {Functional Programming, Glasgow 1989},
	EDITOR = {Simon L. {Peyton Jones} and Graham Hutton and Carsten Kehler Holst},
	PUBLISHER = SP,
	ADDRESS = {London},
	ISBN = {ISBN 3-540-19667-6, 0-387-19667-6}
}

@PROCEEDINGS{Glasgow1991,
	TITLE = {Functional Programming, Glasgow 1991},
	YEAR = 1991,
	BOOKTITLE = Proc#{of the 1991 Glasgow Workshop on Functional Programming},
	EDITOR = {Rogardt Heldal and Carsten Kehler Holst and Philip Wadler},
	PUBLISHER = SP#{, Berlin},
	ADDRESS = {Portree, Isle of Skye},
	MONTH = aug
}

@PROCEEDINGS{Glasgow1992,
	TITLE = {Functional Programming, Glasgow 1992},
	YEAR = 1993,
	BOOKTITLE = Proc#{of the 1992 Glasgow Workshop on Functional Programming},
	EDITOR = {John Launchbury and Patrick M. Sansom},
	PUBLISHER = SP#{, Berlin},
	ADDRESS = {Ayr, Scotland},
	MONTH = aug
}

@PROCEEDINGS{Glasgow1993,
	TITLE = {Functional Programming, Glasgow 1993},
	YEAR = 1993,
	BOOKTITLE = {Functional Programming, Glasgow 1993},
	EDITOR = {Kevin Hammond and John T. O'Donnell},
	PUBLISHER = SP#{, Berlin},
	ADDRESS = {Ayr, Scotland}
}

@PROCEEDINGS{M2-1991,
	TITLE = {Second International Modula-2 Conference},
	YEAR = 1991,
	BOOKTITLE = {Second International Modula-2 Conference},
	ORGANIZATION = {Loughborough University of Technology},
	ADDRESS = {UK},
	MONTH = sep
}

@Proceedings{PLDI1988,
	KEY = {PLDI1988},
	title = proc#PLDI#{ '88},
	BOOKTITLE = proc#PLDI#{ '88},
	year = 	 1988,
	publisher =	 "ACM",
	month =	 jul,
	address = {Atlanta},
	mynote = "SIGPLAN Notices 23(7)"
}

@PROCEEDINGS{PLDI1991,
	KEY = {PLDI1991},
	TITLE = proc#PLDI#{ '91},
	BOOKTITLE = proc#PLDI#{ '91},
	YEAR = "1991",
	PUBLISHER = "ACM",
	MONTH = jun,
	ADDRESS = {Toronto},
	myNOTE = {SIGPLAN Notices 26(6)}
}

@PROCEEDINGS{PLDI1992,
	KEY = {PLDI1992},
	TITLE = Proc#{of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation},
	YEAR = 1992,
	BOOKTITLE = Proc#{of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation},
	ADDRESS = {San Francisco, CA},
	myNOTE = {SIGPLAN Notices 27(7)}
}

@PROCEEDINGS{PLDI1993,
	KEY = {PLDI1993},
	TITLE = Proc#{of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation},
	YEAR = 1993,
	BOOKTITLE = Proc#{of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation},
	ADDRESS = {Albuquerque, New Mexico},
	MONTH = jun,
	myNOTE = {SIPLAN Notices 28(6)}
}

@PROCEEDINGS{PLDI1994,
	KEY = {PLDI1994},
	TITLE = proc#{of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation},
	YEAR = 1994,
	BOOKTITLE = proc#{of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation},
	PUBLISHER = {ACM Press},
	ADDRESS = {Orlando, Fla, USA},
	MONTH = jun,
	myNOTE = {ACM SIPLAN Notices 29(6)}
}

@PROCEEDINGS{PLDI1995,
	KEY = {PLDI1995},
	TITLE = proc#{of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation},
	YEAR = 1995,
	BOOKTITLE = proc#{of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation},
	PUBLISHER = {ACM Press},
	ADDRESS = {La Jolla, CA, USA},
	MONTH = jun
}

@PROCEEDINGS{PLDI1996,
	KEY = {PLDI1996},
	TITLE = proc#{of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation},
	YEAR = 1996,
	BOOKTITLE = proc#{of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation},
	PUBLISHER = {ACM Press},
	ADDRESS = {Philadelphia, PA, USA},
	MONTH = may
}

@PROCEEDINGS{PLDI1997,
	KEY = {PLDI1997},
	TITLE = proc#{of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation},
	YEAR = 1997,
	BOOKTITLE = proc#{of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation},
	PUBLISHER = {ACM Press},
	ADDRESS = {Las Vegas, NV, USA},
	MONTH = jun
}

@PROCEEDINGS{PPOPP1993,
	key = {PPOPP1993},
	TITLE = {Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
	YEAR = 1993,
	BOOKTITLE = {Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
	PUBLISHER = {ACM Press},
	ADDRESS = {San Diego, California},
	MONTH = may,
	NOTE = {ACM SIPLAN Notices, v28, 7}
}



@PROCEEDINGS{LICS1986,
	TITLE = Proc#{of the 1st {IEEE} Symposium on Logic in Computer Science},
	YEAR = 1986,
	BOOKTITLE = Proc#{of the 1st {IEEE} Symposium on Logic in Computer Science},
	ADDRESS = {Cambridge, MA}
}

@PROCEEDINGS{LICS1987,
	TITLE = Proc#{of the 2nd {IEEE} Symposium on Logic in Computer Science},
	YEAR = 1987,
	BOOKTITLE = Proc#{of the 2nd {IEEE} Symposium on Logic in Computer Science},
	ADDRESS = {Ithaca, NY}
}

@PROCEEDINGS{LICS1988,
	TITLE = Proc#{of the 3rd {IEEE} Symposium on Logic in Computer Science},
	YEAR = 1988,
	BOOKTITLE = Proc#{of the 3rd {IEEE} Symposium on Logic in Computer Science},
	ADDRESS = {Edinburgh, Scotland}
}

@PROCEEDINGS{LICS1989,
	KEY = {LICS 89},
	TITLE = Proc#{of the 4th Annual Symposium on Logic in Computer Science},
	YEAR = 1989,
	BOOKTITLE = Proc#{of the 4rd Annual Symposium on Logic in Computer Science},
	PUBLISHER = {IEEE Computer Society Press},
	ADDRESS = {Pacific Grove, CA},
	MONTH = jun
}

@PROCEEDINGS{LICS1990,
	TITLE = Proc#{of the 5th {IEEE} Symposium on Logic in Computer Science},
	YEAR = 1990,
	BOOKTITLE = Proc#{of the 5th {IEEE} Symposium on Logic in Computer Science},
	ADDRESS = {Philadelphia, PA},
	MONTH = jun
}
		  

@Proceedings{LICS1996,
title={Proceedings, 11$^{\mathrm{th}}$ Annual IEEE Symposium on Logic
in Computer Science},
booktitle={Proceedings, 11$^{\mathrm{th}}$ Annual IEEE Symposium on
Logic in Computer Science},
year=1996,
month=jul,
address={New Brunswick, New Jersey},
organization={IEEE Computer Society Press},
crossrefonly=1,
comment={IEEE Computer Society Press Order Number PR07463; IEEE Order
Plan Catalog Number 96CB35952; ISBN 0-8186-7463-6; ISSN Number
1043-6871},
source={ftp://theory.lcs.mit.edu/pub/meyer/lics.bib}
}
		  
@PROCEEDINGS{AMAST1993:party,
	TITLE = {Third International Conference on Algebraic Methodology and Software Technology},
	YEAR = 1993,
	BOOKTITLE = {AMAST 1993, Participants' Proceedings},
	EDITOR = {Giuseppe Scollo},
	ORGANIZATION = {University of Twente},
	ADDRESS = {Enschede, The Netherlands},
	MONTH = jun
}

@PROCEEDINGS{AMAST1993,
	TITLE = {Third International Conference on Algebraic Methodology and Software Technology},
	YEAR = 1993,
	BOOKTITLE = {Algebraic Methodology and Software Technology},
	EDITOR = {Maurice Nivat and Charles Rattray and Teodore Rus and Giuseppe Scollo},
	PUBLISHER = SP,
	ADDRESS = {Enschede, The Netherlands},
	ISBN = {ISBN 3-540-19852-0}
}

@Proceedings{IR1995,
  title = 	 proc#"of the ACM SIGPLAN Workshop on Intermediate
  Representations IR'95",
  booktitle = 	 proc#"of the ACM SIGPLAN Workshop on Intermediate
  Representations IR'95",
  year = 	 1995,
  address =	 "San Francisco, CA",
  month =	 jan,
  note =	 notices#" vol 30, no 3"
}

@Proceedings{WSA1992,
  title = 	 "Workshop on Static Analysis",
  booktitle = 	 "Workshop on Static Analysis",
  year = 	 1992,
  volume =	 "81-82",
  series =	 "Bigre Journal",
  organization = "IRISA",
  address =	 "Rennes, France"
}

@PROCEEDINGS{WSA1993,
	TITLE = {3rd International Workshop on Static Analysis},
	YEAR = 1993,
	BOOKTITLE = {3rd International Workshop on Static Analysis},
	EDITOR = {Gilberto Filé},
	PUBLISHER = SP,
	ADDRESS = {Padova, Italia},
	MONTH = sep,
	SERIES = LNCS,
	VOLUME = 724,
	ISBN = {3-540-57264-3}
}

@PROCEEDINGS{SAS1994,
	TITLE = proc#SAS#{'94},
	YEAR = 1994,
	BOOKTITLE = proc#SAS#{'94},
	EDITOR = {Baudouin {Le Charlier}},
	PUBLISHER = SP,
	ADDRESS = {Leuven, Belgium},
        SERIES = LNCS,
	VOLUME = 864
}

@Proceedings{SAS1995,
  title = 	 proc#SAS#{'95},
  booktitle = 	 proc#SAS#{'95},
  year = 	 1995,
  editor =	 "Alan Mycroft",
  publisher =	 SP,
  address =	 "Glasgow, Scotland",
  month =	 sep,
        SERIES = LNCS,
	VOLUME = 983
}

@Proceedings{SAS1996,
  title = 	 proc#SAS#{'96},
  booktitle = 	 proc#SAS#{'96},
  year = 	 1996,
  editor =	 "Radhia Cousot",
  publisher =	 SP,
  address =	 "Aachen, Germany",
  month =	 sep,
        SERIES = LNCS,
	VOLUME = 1145
}

@PROCEEDINGS{CC1994-poster,
	TITLE = proc#{of the Poster Session of CC'94 --- }#CC,
	YEAR = 1994,
	BOOKTITLE = proc#{of the Poster Session of CC'94 --- }#CC,
	EDITOR = {Peter A. Fritzson},
	PUBLISHER = {Department of Computer and Information  Science, Linköping University, S-58183 Linköping, Sweden},
	ADDRESS = {Edinburgh},
	MONTH = mar,
	NOTE = {Research Report LiTH-IDA-R-94-11},
	ISSN = {ISSN-0281-4250}
}

@PROCEEDINGS{CC1994,
	TITLE = proc#{of the 5th }#CC,
	YEAR = 1994,
	BOOKTITLE = proc#{of the 5th }#CC,
	EDITOR = {Peter A. Fritzson},
	PUBLISHER = SP,
	ADDRESS = {Edinburgh, UK},
	MONTH = apr,
	SERIES = LNCS,
	VOLUME = 786
}

@PROCEEDINGS{ICSEFM1995,
	TITLE = {Formal Methods Applications in Software Engineering},
	YEAR = 1995,
	BOOKTITLE = {Formal Methods Applications in Software Engineering},
	EDITOR = {Martin Wirsing},
	ADDRESS = {Seattle},
	MONTH = apr,
	NOTE = {ICSE Workshop}
}

@PROCEEDINGS{FPRW1994,
	TITLE = {Workshop on Functional Programming in the Real World},
	YEAR = 1994,
	BOOKTITLE = {Workshop on Functional Programming in the Real World},
	EDITOR = {Robert Giegerich and John Hughes},
	PUBLISHER = {Universität Saarbrücken},
	ADDRESS = {Schloß Dagstuhl},
	MONTH = may
}


@Proceedings{DSPE1996,
  title = 	 "Dagstuhl Seminar 9607: Partial Evaluation",
  year = 	 1996,
  editor =	 "Robert Glück and Olivier Danvy and Peter Thiemann",
  address =	 "IBFI GmbH, Schloß Dagstuhl, D-66687 Wadern, Germany",
  month =	 feb,
  note =	 "Seminar report 134"
}

@Proceedings{Reflection1996,
  title = 	 "Reflection'96",
  booktitle = 	 "Reflection'96",
  year = 	 1996,
  key =		 "Reflection96",
  editor =	 "Gregor Kiczales",
  address =	 "San Francisco, CA, USA",
  month =	 apr
}