Studies in automatic programming logic - Manna, Zohar (North-Holland Publishing, 1977)