A Comment on Axiomatic Approaches to Programming CACM July, 1970 Hunt, B. axiomatic method, proofs of programs, homomorphic structure in programming 4.0 4.21 4.22 5.20 5.21 5.23 5.24 CA700716 JB February 10, 1978 4:15 PM 2021 4 2021 2222 4 2021 2227 4 2021 2315 4 2021 2326 4 2021 2470 4 2021 2732 4 2021 2865 4 2021 2896 4 2021 2943 4 2021 3014 4 2021 3068 4 2021 3077 4 2021 3143 4 2021 1834 5 2021 2021 5 2021 2021 5 2021 2021 5 2021