<The> logical Basis for Computer Programming - Manna, Zohar (Addison-Wesley Publ. Co., 1990)