@PHDTHESIS{Larsen95,
  KEY           = "Larsen95",
  AUTHOR        = "Peter Gorm Larsen",
  TITLE         = "Towards Proof Rules for VDM-SL",
  SCHOOL        = "Technical University of Denmark",
  ADDRESS       = "Department of Computer Science",
  YEAR          = "1995",
  MONTH         = "March",
  SIZE          = "181",
  NOTE          = "ID-TR:1995-160",
  ANNOTE        = "",
  COMMENT       = "I have the source PGL"}