Structured Calculational Proof (1996)

by Ralph Back, Jim Grundy, Joakim von Wright, Turku Centre, Computer Science