@INPROCEEDINGS{Larsen93b,
  KEY           = "Larsen93",
  AUTHOR        = "Peter Gorm Larsen",
  TITLE         = "{Towards Proof Rules for Looseness in Explicit 
                   Definitions from VDM-SL}",
  BOOKTITLE     = "{Proceedings of the ``International Workshop on Semantics of
                   Specification Languages (SoSL)"}",
  ADDRESS       = "25--27 October 1993, Utrecht",
  YEAR          = "Springer-Verlag 1994",
  SIZE          = "15",
  ANNOTE        = "",
  COMMENT       = "I have a softcopy PGL"}