Constructing correct software : the basics /
Cooke, John,1947-
London : Springer,
c1998.
Includes index.
Computer software