Mathematical structures for software engineering /
De Neumann, Bernard.
Slater, Gil.
Institute of Mathematics and Its Applications.
Oxford : Clarendon,
1991.
Includes bibliography
Computer software