@MASTERSTHESIS{Arentoft&88,
  KEY           = "Arentoft\&88",
  AUTHOR        = "Michael Meincke Arentoft and Peter Gorm Larsen",
  TITLE         = "The Dynamic Semantics of the BSI/VDM
                   Specification Language",
  SCHOOL        = "Technical University of Denmark",
  ADDRESS       = "DK-2800 Lyngby, Denmark",
  YEAR          = "1988",
  MONTH         = "August",
  SIZE          = "352",
  ANNOTE        = "",
  COMMENT       = "PGL has a copy"}