On the semantics of refinement calculi (2000)

by H Yang, U S Reddy
Venue:In Foundations of Software Science and Computation Structures