From Specifications to Machine Code: Program Construction through Formal Reasoning

@inproceedings{Bauer:ICSE82,
  author    = {Friedrich L. Bauer},
  title     = {From Specifications to Machine Code: Program Construction through Formal Reasoning},
  booktitle = {ICSE},
  pages     = {84--93},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}