Program verification /
Francez, Nissim.
Wokingham : Addison-Wesley,
1992.