

@Unpublished{pf,
  author = 	 {Peter Fritzson},
  title = 	 {Generating Practical Compiles from Natural Semantics},
  note = 	 {Draft},
  year =	 1996
}

@Misc{pike,
  author =	 {Idonex AB},
  title =	 {The Pike programming language},
  note =	 {\texttt{http://pike.idonex.se/}}
}

@Article{cardelli,
  author = 	 {Luca Cardelli},
  title = 	 {},
  journal = 	 {},
  year = 	 {},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTmonth = 	 {},
  OPTpages = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@book{pccts,
  }

@Misc{modelicawww,
  key =		 {Modelica},
  title =	 {Modelica home page},
  note =	 {\texttt{http://www.dynasim.se/Modelica/}}
}

@unpublished{modelica10,
  author = "The Modelica design group",
  title = {Modelica\textsuperscript{TM} - A Unified Object-Oriented
                  Language for Physical Systems Modeling Version 1},
  note = "Available on the World Wide Web at
                  \texttt{http://www.Dynasim.se/Modelica/}",
  month = sep,
  year = 1997}

@unpublished{modelica1f,
  author = "The Modelica design group",
  title = {Modelica\textsuperscript{TM} - A Unified Object-Oriented
                  Language for Physical Systems Modeling Version 1f},
  note = "Available on the World Wide Web at
                  \texttt{http://www.Dynasim.se/Modelica/}",
  month = jul,
  year = 1998}

@book{drakboken,
  author = {A. V. Aho and R. Sethi and and J.D. Ullman},
  title= {Compilers -- Principles, Techniques, and Tools},
  year = 1986,
  publisher = {Addison-Wesley},
  address = {Reading, MA}}


@book{Lamport86,
  author = {Leslie Lamport},
  title = {LATEX: A Document Preparation System},
  year = 1986,
  publisher = {Addison-Wesley},
  address = {Reading, MA}}

@phdthesis{pi,
  author = {Mikael Pettersson},
  title = {Compiling Natural Semantics},
  school = "Linköping University",
  year = 1995,
  month = dec}

@Book{pagan,
  author =       "Frank G. Pagan",
  title =        "Formal Specification of Programming Languages, a
                 Panoramic Primer",
  publisher =    "Prentice Hall",
  address =      "Englewood Cliffs",
  year =         "1981",
  ISBN =         "0-13-329052-2",
  descriptor =   "Formale Definition, Semantik, Syntax",
  annote =       "Einfuehrender Ueberblick ueber die verschiedenen
                 Konzepte zur formalen Beschreibung von
                 Programmiersprachen; Syntax: BNF, Attribut-Grammatik,
                 zweischichtige Grammatik; Semantik: Operationeller,
                 denotationaler und axiomatischer Ansatz",
}

@InProceedings{KAHN87,
  author =       "Gilles Kahn",
  title =        "Natural Semantics",
  booktitle =    "Proceedings of the Symposium on Theoretical Aspects of
                 Computer Science",
  year =         "1987",
  address =      "Passau, Germany",
  month =        feb,
  note =         "Proceedings published as Springer-Verlag Lecture Notes
                 in Computer Science 247. The paper is also available as
                 INRIA Report 601, February, 1987.",
}


@InProceedings{rml,
  author = 	 {Mikael Pettersson},
  title = 	 "{RML}---{A} New Language and Implementation for
                 Natural Semantics",
  booktitle = 	 {Proceedings of PLILP'94},
  year = 	 {1994},
  url =          "ftp://ftp.ida.liu.se/pub/labs/pelab/papers/plilp94rml.ps.gz",
  keywords =     "Natural Semantics; Continuation-Passing Style;
                 Compilation; unification from Prolog; polymorphic type
                 system, data structures, and pattern matching from ML",
  scope =        "defin",
}

@Book{sml,
  author =       "Robin Milner and Mads Tofte and Robert Harper and
                 David MacQueen",
  year =         "1997",
  title =        "The {Definition} of {Standard ML} (Revised)",
  publisher =    "The MIT Press",
  semno =        "D-346",
  puf =          "Bog",
  id =           "Bog",
}
