The Logic of Computer Programming

Z. Manna, R. Waldinger
1978 IEEE Transactions on Software Engineering  
doi:10.1109/tse.1978.231499 fatcat:ylzqmhqefjfyrnacqqozolyffi