Semantical Analysis of Specification Logic

@inproceedings{Tennent1985SemanticalAO,
  title={Semantical Analysis of Specification Logic},
  author={Robert D. Tennent},
  booktitle={Logic of Programs},
  year={1985}
}