%G VDM PROOF TOOL
@INPROCEEDINGS{Vermolen&10,
  KEY           = "Vermolden\&10",
  AUTHOR        = "Sander Vermolen and Jozef Hooman and Peter Gorm Larsen",
  TITLE         = "{Automating Consistency Proofs of VDM++ Models using HOL}",
  BOOKTITLE     = "Proceedings of the 25th Symposium On Applied Computing 
                   (SAC 2010)",
  PUBLISHER     = "ACM",
  ADDRESS       = "Sierre, Switzerland",
  YEAR          = "2010",
  MONTH         = "March",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}