Nico Plat Peter Gorm Larsen An overview of the ISO/VDM-SL standard. 76-82 1992 27 SIGPLAN Notices 8 http://doi.acm.org/10.1145/142137.142153 db/journals/sigplan/sigplan27.html#PlatL92