Systems construction and analysis : a mathematical and logical framework /
Norman Fenton and Gillian Hill.
- London ; New York : McGraw-Hill, c1993.
- xiv, 465 p. : ill. ; 25 cm.
- The McGraw-Hill international series in software engineering .
Includes bibliographical references (p. 449-452) and index.