Studies in automatic programming logic - Manna, Zohar, 1939-2018 (Artificial Intelligence Series, 1977)