On the refinement calculus (1988)

by C Morgan, K Robinson, P Gardiner
Venue:Oxford University Computing Laboratory