@INPROCEEDINGS{Agerholm&98d,
  KEY           = "Agerholm\&98",
  AUTHOR        = "Sten Agerholm and Peter Gorm Larsen",
  TITLE         = "{A Lightweight Approach to Formal Methods}",
  BOOKTITLE     = "{Proceedings of the International Workshop on Current
                    Trends in Applied Formal Methods}",
  PUBLISHER     = "{Springer-Verlag}",
  ADDRESS       = "Boppard, Germany",
  YEAR          = "1998",
  MONTH         = "October",
  ANNOTE        = "",
  COMMENT       = "IFAD has a softcopy PGL"}