John Cooke. Constructing correct software - the basics. FACIT: Formal approaches to computing and information technology, Springer, 1998.
@book{0093115,
title = {Constructing correct software - the basics},
author = {John Cooke},
year = {1998},
researchr = {https://researchr.org/publication/0093115},
cites = {0},
citedby = {0},
series = {FACIT: Formal approaches to computing and information technology},
publisher = {Springer},
isbn = {978-3-540-76156-3},
}