Structured calculational proof (1997)

by R Back, J Grundy, J von Wright
Venue:Formal Aspects of Computing