Mathematics of software construction /
Norcliffe, Allan.
Slater, Gil.
New York ; London : Ellis Horwood,
1991.