Ralph-Johan Back Jim Grundy Joakim von Wright Structured Calculational Proof. 469-483 1997 9 Formal Aspects Comput. 5-6 db/journals/fac/fac9.html#BackGW97 https://doi.org/10.1007/BF01211456