A programming approach to formal methods - Casey, Chris (McGraw-Hill Book Company, 1994)