Program verification - Francez, Nissim (International Computer Science Series / Addison-Wesley Publishing Company, Inc.., 1992)