An algebraic proof in VDM /
Hughes, A. P.(Arthur)
Donnelly, A. A.(Alexis)
Trinity College (Dublin, Ireland).Department of Computer Science.
Dublin : Trinity College Dublin, Dept. of Computer Science,
[1996]
Includes bibliographic references
Computer programs