Lectures on the logic of computer programming - Manna, Zohar (CBMS-NSF regional conference series in applied mathematics, 1980)