@INPROCEEDINGS{Aichernig&97,
  KEY           = "Aichernig\&97",
  AUTHOR        = "{Bernhard K. Aichernig and Peter Gorm Larsen}",
  TITLE         = "{A Proof Obligation Generator for VDM-SL}",
  BOOKTITLE     = {FME'97: Industrial Applications and Strengthened
  Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal
  Methods Europe, Graz, Austria, September 1997)},
  EDITOR        = {John S. Fitzgerald and Cliff B. Jones and Peter Lucas},
  VOLUME        = {1313},
  SERIES        = {Lecture Notes in Computer Science},
  PUBLISHER     = {Springer-Verlag},
  YEAR          = {1997},
  MONTH         = {September},
  NOTE          = {ISBN 3-540-63533-5},
  PAGES         = {338--357},
  COMMENT       = "In papers PGL"}