Formal Specification and Development of an Ada Compiler - A VDM Case Study

@inproceedings{Clemmensen-Oest:ICSE84,
  author    = {Geert B. Clemmensen and
               Ole N. Oest},
  title     = {Formal Specification and Development of an Ada Compiler - A {VDM} Case Study},
  booktitle = {ICSE},
  pages     = {430--440},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}