A programming approach to formal methods - Casey, Chris (The McGraw-Hill international series in software engineering, 1994)