Program construction and verification

@inproceedings{Backhouse1986ProgramCA,
  title={Program construction and verification},
  author={Roland Carl Backhouse},
  booktitle={PHI Series in computer science},
  year={1986}
}