2021	 A Comment on Axiomatic Approaches to Programming axiomatic method proofs of programs homomorphic structure in programming
