Studies in automatic programming logic - Manna, Zohar (Artificial intelligence series, 1977)