The Logic of Computer Programming - Manna, Z (IEEE Transactions on Software Engineering)