Program verification / - Francez, Nissim. (Addison-Wesley Pub. Co.,, 1992)