@incollection{BeierleBoerger91CSL,
   AUTHOR = "C. Beierle and E. B{\"{o}}rger",
   TITLE = "Correctness proof for the {WAM} with types",
    BOOKTITLEold = "Computer Science Logic - CSL'91\lncs{626}",
    BOOKTITLE = "Computer Science Logic - CSL'91",
    BEMERKUNG = "LNCS Angabe im Titel, da sonst nicht mit ausgedruckt!! ",
    YEAR = 1992,
    EDITOR = "E. B{\"{o}}rger and H. Kleine B{\"{u}}ning and
              G. J{\"{a}}ger and M. M. Richter",
    PUBLISHER = {Springer-Verlag},
    ADDRESS = springeraddress,
    SERIES = "Lecture Notes in Computer Science",
    PAGES  = "15--34",
    VOLUME = 626   }