@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="BB92:aquila" or $key="O85:mit" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{mitpress = {The MIT Press}}

@techreport{BB92:aquila,
  author = {Alessandro Berarducci and Corrado B{\"o}hm},
  title = {A Self-Interpreter of Lambda Calculus Having a Normal Form},
  institution = {Dip. di Matematica Pura ed Applicata, Universita di
                 L'Aquila},
  year = {1992},
  type = {Rapporto tecnico},
  number = {16},
  month = oct
}

@book{O85:mit,
  author = {Michael J. O'Donnell},
  year = 1985,
  title = {Equational Logic as a Programming Language},
  publisher = mitpress,
  address = {Cambridge, MA}
}