@INPROCEEDINGS{IFIP,
  KEY           = "Larsen\&89",
  AUTHOR        = "Peter Gorm Larsen, Michael Meincke Arentoft,
                   Brian Monahan and Stephen Bear",
  EDITOR        = "Ritter", 
  TITLE         = "{Towards a Formal Semantics of The BSI/VDM
                   Specification Language}",
  BOOKTITLE     = "{Information Processing 89}",
  ORGANIZATION  = "IFIP", 
  PUBLISHER     = "North-Holland", 
  YEAR          = "1989",
  MONTH         = "August", 
  PAGES         = "95--100", 
  SIZE          = "6", 
  ANNOTE        = "This is an overview article describing the
                   work towards a formal semantics of the BSI/VDM SL.",
  COMMENT       = "I have the whole book (PGL). This is my first
                   publication."}