@INPROCEEDINGS{Verhoef&07,
  KEY           = "Verhoef\&07",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen",
  EDITOR        = "Brian Sauser and Gerrit Muller",
  TITLE         = "{Interpreting Distributed System Architectures Using VDM++ 
                   -- A Case Study}",
  BOOKTITLE     = "5th Annual Conference on Systems Engineering Research",
  PUBLISHER     = "",
  YEAR          = "2007",
  MONTH         = "March",
  NOTE          = "{Available at http://www.stevens.edu/engineering/cser/}",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}