An Introduction to the Construction and Verification of Alphard Programs (Abstract)

@inproceedings{Wulf-al:ICSE76,
  author    = {William A. Wulf and
               Ralph L. London and
               Mary Shaw},
  title     = {An Introduction to the Construction and Verification of Alphard Programs {(Abstract)}},
  booktitle = {ICSE},
  pages     = {390},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}