Structured calculational proof (1997)

by Ralph-Johan Back, Jim Grundy, Joakim von Wright
Venue:Formal Asp. Comput