@INPROCEEDINGS{Larsen94b,
  KEY           = "Larsen94",
  AUTHOR        = "Peter Gorm Larsen",
  EDITOR        = "M. Naftalin, T. Denvir, M. Bertran",
  TITLE         = "Evaluation of Underdetermined Explicit Expressions",
  BOOKTITLE     = "FME'94: Industrial Benefit of Formal Methods",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "1994",
  MONTH         = "October",
  PAGES         = "233-250",
  ANNOTE        = "",
  COMMENT       = "PGL has got the proceedings. ADN"}