Readings in artificial intelligence and software engineering - Manna, Zohar (M. Kaufmann Publ., 1986)