A programming approach to formal methods /
Chris Casey.
- London ; New York : McGraw-Hill Book Co., 1994
- xii, 262 p. : ill. ; 25 cm.
- The McGraw-Hill international series in software engineering .
Includes bibliographical references (p. 257) and index.