Program verification - Francez, Nissim (Addison-Wesley Publishing Company, Inc, 1992)