Introducing formal methods : a less mathematical approach /
Ford, Neville J.
Ford, Judith.
New York, N.Y. ; London : Ellis Horwood,
1993 [i.e. 1992].