Dunne, S., 2001. Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness, in: . BCS Learning & Development.. https://doi.org/10.14236/ewic/iwfm2001.1