@INPROCEEDINGS{Smith&99,
  KEY           = "Smith\&99",
  AUTHOR        = "Paul R. Smith and Peter Gorm Larsen",
  EDITOR        = "John S. Fitzgerald and Peter Gorm Larsen",
  TITLE         = "{Applications of VDM in Banknote Processing}",
  BOOKTITLE     = "{VDM in Practice: Proc. First VDM Workshop 1999}",
  YEAR          = "1999",
  MONTH         = "September",
  NOTE          = "Available at www.vdmportal.org",
  ANNOTE        = "",
  COMMENT       = "PGL"}