------bibliography file follows this line:----------------------------
The "preamble" command defines macros that will be available to use in the
text fields of each entry.  These are intended to be used in the format:

  {\bibXXX{YYY}}

This will make BibTeX see the text YYY as a single character, and will
have the TeX macro \bibXXX be applied to YYY if it appears in a document.

@preamble{ "\newcommand{\bibnoop}[1]{}"
           # "\newcommand{\bibsingleletter}[1]{#1}" }

=============
Organizations
=============

@string{IEEE = "Institute of Electrical and Electronic Engineers"}
@string{ACM = "Association of Computing Machinery"}
@string{ACM = "Assoc.\ Comput.\ Mach."}
@string{ACM = "ACM"}
@string{IEEECS = "The IEEE Computer Society"}
@string{IEEECSTCMFC = "The IEEE Computer Society's Technical Committee on
                       Mathematical Foundations of Computing"}
@string(IFIP = {International Federation for Information Processing})
@string(IFIP = {Int'l Fed.\ Inf.\ Process.})

==========
Publishers
==========

@string{IEEECSP = "The IEEE Computer Society Press"}
@string{IEEECSP = "IEEE Comput.\ Soc.\ Press"}
@string{SV = "Springer-Verlag"}
Springer-Verlag is in Berlin among other places.

========
Journals
========


@string{TCS = "Theor.\ Comp. Sc."}
@string{MSCS = "Mathematical Structures in Computer Science"}
abbreviated version:
@string{MSCS = "Math.\ Struc.\ Comp.\ Sc."}

@string{IAC = "Information and Computation"}
Library's abbreviated version:
@string{IAC = "Inf.\ Comput."}

@string{TOPLAS = "ACM Transactions on Programming Languages and Systems"}
Library's abbreviated version:
@string{TOPLAS = "ACM Trans.\ Program.\ Lang.\ Syst."}
ACM's abbreviated version:
@string{TOPLAS = "ACM Trans.\ Prog.\ Lang.\ Syst."}

@string(JACM = "Journal of the ACM")
ACM's abbreviated version:
@string(JACM = "J.~ACM")

@string(JCSS = {Journal of Computer and System Sciences})
ACM's abbreviated version:
@string(JCSS = "J.~Comput.\ Syst.\ Sci.")

@string(FI = {Fund.\ Informa.})
Published by IOS Press, Amsterdam.

@string{TRAAM = "Transactions of the American Mathematical Society"}
@string{TRAAM = "Trans.\ Amer.\ Math.\ Soc."}

@string{DIALE = "Dialectica"}

======
Series
======

@string(LNCS = "Lecture Notes in Computer Science")
@string(LNCS = "Lect.\ Notes Comput.\ Sci.")
@string(LNCS = "LNCS")

=======
Authors
=======

@string(Aiken         = "Aiken")
@string(Ariola        = "Ariola")
@string(Barendregt    = "Barendregt")
@string(Bloo          = "Bloo")
@string(Bruce         = "Bruce")
@string(Cardelli      = "Cardelli")
@string(Coppo         = "Coppo")
@string(Dezani        = "Dezani-Ciancaglini")
@string(Felleisen     = "Felleisen") x
@string(Gallier       = "Gallier") x
@string(Gandy         = "Gandy") x
@string(Giannini      = "Giannini")
@string(Girard        = "Girard") x
@string(Glauert       = "J. R. W. Glauert")
@string(Harper        = "Harper")
@string(Henglein      = "Henglein")
@string(Hindley       = "Hindley")           
@string(Honsell       = "Honsell")
@string(Huet          = "Huet") x
@string(Hyland        = "Hyland")
@string(Jim           = "Jim")
@string(Kamareddine   = "Kamareddine")
@string(Kfoury        = "Kfoury")
@string(Khasidashvili = "Khasidashvili")
@string(Klop          = "Klop")
@string(Laufer        = "L{\"a}ufer")
@string(Launchbury    = "Launchbury")
@string(Lee           = "Lee")
@string(Leivant       = "Leivant")
@string(Mairson       = "Mairson") 
@string(MartinLof     = "Martin-L{\"o}f")
@string(Meyer         = "Meyer")
@string(Milner        = "Milner")
@string(Mitchell      = "Mitchell")
@string(Morrisett     = "Morrisett")
@string(Nederpelt     = "Nederpelt")
@string(Odersky       = "Odersky")
@string(PeytonJones   = "Peyton-Jones")
@string(Pfenning      = "Pfenning")
@string(Piperno       = "Piperno")
@string(Plotkin       = "Plotkin")
@string(Pudlak        = "Pudl{\'a}k")
@string(Reynolds      = "Reynolds")
@string(Ronchi        = "Ronchi Della Rocca")
@string(Sabry         = "Amr Sabry")
@string(Seldin        = "Seldin")
@string(Tiuryn        = "Tiuryn")
@string(Tofte         = "Tofte")
@string(Urzyczyn      = "Urzyczyn")
@string(Wadler        = "Wadler")  
@string(Wells         = "Wells")
@string(Wimmers       = "Wimmers")
@string(Z             = "")
@string(Kennaway      = "J. R. Kennaway")
@string(Sleep         = "M. R. Sleep")
@string(Rios          = "R{\'\i}os")
@string(vanEekelen    = "van Eekelen")
@string(Plasmeijer    = "Plasmeijer")

@string(+ = {+})
@string(AND = { and })
@string(and = { and })
@string{BUCSD = "Comp.\ Sci.\ Dept., Boston Univ."}

=== JRWG ===

@InProceedings{GraGraDac91, 
	author = Glauert # and # Kennaway # and # Sleep,
	title =  "Dactl: An Experimental Graph Rewriting Language",
	crossref = "GraGra1991",
}

@InProceedings{parle92, 
	author = Glauert,
	title =  "Asynchronous Mobile Processes and Graph Rewriting",
	crossref = "PARLE1992",
	pages = "63--78"
}

@InProceedings{Paragon,
	author = "P. Anderson" # and # "D. Bolton" # and # "P. Kelly",
	title = "Paragon Specifications: Structure, Analysis and Implementation",
	crossref = "PARLE1992",
}

@InProceedings{CHAM,
	author = "G. Berry" # and # "G. Boudol",
	title = "The  Chemical Abstract Machine",
	crossref = "POPL1990",
	pages = "81--94",
}

@string(POPL1990 = "Proc. POPL '90") 
@proceedings{POPL1990,
	title = POPL1990,
	booktitle = POPL1990,
	key = {POPL '90},
	year = 1990,
}

@InProceedings{AM,
	author = "T. van Eicken" # and # "D. E. Culler" # and # "S. C. Goldstein" # and # "K. E. Schauser",
	title = "Active Messages: a Mechanism for Integrated Communication and Computation",
	crossref = "ISCA1992"
}

@string(ISCA1992 = "International Symposium on Computer Architecture '92") 
@proceedings{ISCA1992,
	title = ISCA1992,
	booktitle = ISCA1992,
	organization = ACM,
	key = {ISCA '92},
	year = 1992
}

@InProceedings{NewTrans,
	author = Glauert # and # "L. Leth" # and # "B. Thomsen",
	title = "A New Translation of Functions as Processes",
	pages = "269--282",
	crossref = "TGR1993",
	year = 1993
}

@InProceedings{ZAPPClean,
	author = "R. G. Goldsmith" # and # "D. L. McBurney" # and # Sleep,
	title = "Parallel Execution of Concurrent Clean on ZAPP",
	pages = "283--301",
	crossref = "TGR1993",
	year = 1993
}

@Article{SemSym,
	author = Glauert # and # "L. Leth" # and # "B. Thomsen",
	title = "A New Translation of Functions as Processes",
	journal = "SemaGraph '91 Symposium",
	year = 1991
}

@Article{MDFM,
	author = "J. R. Gurd" # and # "C. C. Kirkham" # and # "I. Watson",
	title = "The {Manchester} Prototype Dataflow Computer",
	journal = CACM,
	volume = 26,
	number = 1,
	pages = "34--52",
	year = 1985,
}

@Article{Facile,
	author = "A. Giacalone" # and # "P. Mishra" # and # "S. Prasad",
	title = "Facile: A Symmetric Integration of Concurrent and Functional Programming",
	journal = "IJPP",
	volume = 18,
	number = 2,
	pages = "121--160",
	year = 1989,
}

@TechReport{Bou92,
  author	= "G{\'e}rard Boudol",
  title		= "Asynchrony and the $\pi$-calculus (Note)",
  institution	= "INRIA Sofia-Antipolis",
  year		= "1992",
  type		= "Rapport de Recherche",
  number	= "1702",
  month		= may,

}

@Article{DistribFacile,
	author = "A. Kramer" # and # "F. Cosquer",
	title = "Distributing Facile",
	journal = "MAGIC Note 12, ECRC",
	publisher = "ECRC",
	year = 1991,
}

@Article{MachFacile,
	author = "F. Knabe",
	title = "A distributed protocol for the generalized select command",
	journal = "MAGIC Note 11, ECRC",
	publisher = "ECRC",
	year = 1991,
}

@Article{KuoFacile,
	author = "{T.-M.} Kuo",
	title = "Magic Facile version 0.3",
	journal = "MAGIC Note 22, ECRC",
	publisher = "ECRC",
	year =  1992,
}

@phdthesis{Leth91,
	author = "L. Leth",
	title = "Functional Programs as Reconfigurable Networks of Communicating Processes",
	school = "Imperial College, London",
	year = 1991,
}

@Article{FacileCHAM,
	author = "L. Leth" # and # "B. Thomsen",
	title = "Some Facile Chemistry",
	journal = "ECRC Technical Report",
	volume = "ECRC-92-14",
	year = 1992,
}

@InProceedings{ZAPP,
	author = "D. L. McBurney" # and # "M. R. Sleep",
	title = "Transputer-based experiments with the ZAPP architecture",
	crossref = "PARLE1987",
}

@Article{CCS,
	author = "R. Milner", 
	title = "A Calculus of Communicating Systems",
	journal = "LNCS",
	publisher = SV,
	volume = 92,
	year = 1980,
}

@InProceedings{HonTok91,
	author = "K. Honda" # and # "M. Tokoro", 
	title = "An Object Calculus for Asynchronous Communication",
	crossref = "ECOOP1991",
}

@InProceedings{FunAsProcs,
	author = "R. Milner", 
	title = "Functions as Processes",
	crossref = "ALP1990",
}

@Article{PolyPi,
	author = "R. Milner",
	title = "The Polyadic $\Pi$--Calculus: A Tutorial",
	journal = "Technical Report ECS-LFCS-91-180",
	publisher = "Edinburgh University",
	year = 1991,
}

@Article{Pi,
	author = "R. Milner" # and # "J. Parrow" # and # "D. Walker",
	title = "A Calculus of Mobile Processes, {Parts} {I} and {II}",
	journal = "Technical Report ECS-LFCS-89-85",
	publisher = "Edinburgh University",
	year = 1989,
}

@Article{Shapiro,
	author = "E. Y. Shapiro",
	title = "The Family of Concurrent Logic Programming Languages",
	journal = "Computing Surveys",
	volume = 21,
	number = 3,
	pages = "412--510",
	year = 1989,
}

@InProceedings{MessageBrokers,
	author = "M. J. Wise",
	title = "Message Brokers and Communicating {Prolog} Processes",
	crossref = "PARLE1992",
	pages = "535--549",
}

======================
Conference proceedings
======================

WARNING: These must come after any "crossref" fields that refer to them!


Automata, Languages, and Programming. Springer LNCS 443. (1990)

@string(ECOOP1991 = {Proc. ECOOP'91}) 
@proceedings{ECOOP1991,
        title = ECOOP1991,
        booktitle = ECOOP1991,
        key = {ECOOP '91},
        year = 1991,
        publisher = "Geneva",
}

@string(GraGra1991 = {Proc. 4th International Workshop on Graph Grammars and their Applications to Computer Science}) 
@proceedings{GraGra1991,
        title = GraGra1991,
        booktitle = GraGra1991,
        key = {GraGra '91},
        year = 1991,
        publisher = SV,
        series = LNCS,
        volume = 532,
}

@string(ALP1990 = {Proc. Automata, Languages, and Programming '90}) 
@proceedings{ALP1990,
        title = ALP1990,
        booktitle = ALP1990,
        key = {ALP '90},
        year = 1990,
        publisher = SV,
        series = LNCS,
        volume = 443,
}

@string(PARLE1987 = {Proc. PARLE '87}) 
@proceedings{PARLE1987,
        title = PARLE1987,
        booktitle = PARLE1987,
        key = {PARLE '87},
        year = 1987,
        publisher = SV,
        series = LNCS,
        volume = 258,
}

@string(PARLE1992 = {Proc. PARLE '92}) 
@proceedings{PARLE1992,
        title = PARLE1992,
        booktitle = PARLE1992,
        key = {PARLE '92},
        year = 1992,
        month = Jun,
        publisher = SV,
        series = LNCS,
        volume = 605,
}

CAAP = "Colloque sur les Arbres en Algebre et Programmation"
@string(CAAP1990 = "Fifteenth Colloquium on
                    Trees in Algebra and Programming")
@string(CAAP1990 = "15th Colloq.\ Trees Algebra Program.")
@proceedings{CAAP1990,
        key = {CA{\bibsingleletter{AP}} '90},
        title = CAAP1990,
        year = "'90",
        booktitle = CAAP1990,
        Xeditor = "Andre Arnold",
        series = LNCS,
        volume = 431,
        Znote = "Number~431 in Lecture Notes in Computer Science",
        OUorganization = "**Conference Sponsor**",
        Xaddress = "Copenhagen, Denmark",
        Xmonth = may,
}

@string(CAAP1996 = "21st Colloq.\ Trees Algebra Program.")
@proceedings{CAAP1996,
        key = {CA{\bibsingleletter{AP}} '96},
        title = CAAP1996,
        year = "'96",
        booktitle = CAAP1996,
        Xeditor = "",
        Xseries = {???},
        Xvolume = {???},
        Znote = "???",
        Xpublisher = {???},
        OUorganization = "???",
        Xaddress = {???},
        Xmonth = {???},
}

@string(TACS1991 = {Theoretical Aspects of Computer Software :
                    International Conference, TACS'91})
@string(TACS1991 = {Theoretical Aspects Comput.\ Softw.\ : Int'l Conf.})
@proceedings{TACS1991,
        title = TACS1991,
        booktitle = TACS1991,
        key = {TA{\bibsingleletter{CS}} '91},
        Xaddress = "Sendai, Japan",
        realaddress = "Tohoku University, Sendai, Japan",
        year = "'91",
        Xmonth = sep,
        longmonth = sep # {~24--27,},
        series = LNCS,
        volume = 526,
        Xeditor = "Takayasu Ito and Albert R. Meyer",
}       

@string(FPCA1985 = {{IFIP} International Conference on
                    Functional Programming and Computer Architecture}) 
title not verified with library
possible title: {Functional programming languages and computer architecture}
@string(FPCA1985 = {{IFIP} Int'l Conf.\ Funct.\ Program.\ Comput.\ Arch.}) 
@proceedings{FPCA1985,
        title = FPCA1985,
        booktitle = FPCA1985,
        key = {FP{\bibsingleletter{CA}} '85},
        year = 1985,
        publisher = SV,
        series = LNCS,
        volume = 201,
        Xorganization = IFIP,
        OUeditor = "",
        OUaddress = "",
        OUmonth = {},
        OUnote = "",
}

@string(FPCA1993 = {FPCA '93, Conference on
                    Functional Programming Langauges and Computer
                    Architecture})
@string(FPCA1993 = {FPCA '93, Conf.\ Funct.\ Program.\ Lang.\ Comput.\ Arch.})
@proceedings{FPCA1993,
        title = FPCA1993,
        booktitle = FPCA1993,
        year = 1993,
        Xpublisher = ACM,
        organization = ACM,
        Xaddress = "Copenhagen, Denmark",
        Xmonth = jun # {~9--11,},
        OUnote = "",
}

@string(TAPSOFT1989 = {{TAPSOFT} '89 : Proceedings of the
                       International Joint Conference on
                       Theory and Practice of Software Development})
@string(TAPSOFT1989 = {Proc.\ Int'l Joint Conf.
                       Theory Practice Softw.\ Develop.})

@proceedings{TAPSOFT1989,
        title = TAPSOFT1989,
        booktitle = TAPSOFT1989,
        key = {TAPSOFT '89},
        year = 1989,
        Xaddress = {Barcelona, Spain},
        Xmonth = mar # {~13--17,},
        Xeditor = {Josep Diaz and Fernando Orejas},
        publisher = SV,
        LC = {QA76.76.D47 I57 1989},
        OUorganization = "**Conference Sponsor**",
        OUnote = "",
}

Proceedings of the ACM SIGPLAN '93 Conference on Programming 
  Language Design and Implementation
Spine title: Proceedings of the SIGPLAN '93 Conference on 
  Programming Language Design and Implementation.

@string{PLDIpfx = "Proc.\ {ACM} "}
@string{PLDIsfx = "Program. Lang. Design Implem."}

@string{PLDI1996 = PLDIpfx # PLDIsfx}
@Proceedings{PLDI1996,
  title =        PLDI1996,
  year =         "'96",
  key =          {PL{\bibsingleletter{DI}} '96},
  booktitle =    PLDI1996,
  Xpublisher =    ACM,
  Xorganization = ACM,
  Xaddress =     "Philadelphia, PA, U.S.A.",
  Xmonth =        may # {~21--24,}
}

======================================
Books that are collections of articles
======================================

WARNING: These must come after any "crossref" fields that refer to them!

@book{SH1980,
        editor = "J. P. Seldin and J. R. Hindley",
        title = "To {H.~B.~Curry}: Essays on Combinatory Logic, Lambda
                 Calculus, and Formalism",
        booktitle = "To {H.~B.~Curry}: Essays on Combinatory Logic, Lambda
                     Calculus, and Formalism",
        publisher = "Academic Press",
        year = {1980},
        Xnote = "The ``{Curry Festschrift}''",
}

@book{TGR1993,
        editor = "M. R. Sleep" # and # "M. J. Plasmeijer" # and # "M. C. J. D. van Eekelen",
        title = "Term Graph Rewriting: Theory and Practice",
        booktitle = "Term Graph Rewriting: Theory and Practice",
        publisher = "Wiley",
        year = {1993},
}