Neville J. Ford, Judith M. Ford. Introducing formal methods - a less mathematical approach. Ellis Horwood series in computers and their applications, Ellis Horwood, 1993.
@book{0072138,
title = {Introducing formal methods - a less mathematical approach},
author = {Neville J. Ford and Judith M. Ford},
year = {1993},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/0072138},
cites = {0},
citedby = {0},
series = {Ellis Horwood series in computers and their applications},
publisher = {Ellis Horwood},
isbn = {978-0-13-484320-9},
}