The refinement calculus and data-flow processes (1992)

by B P Mahony
Venue:In Proc. Second Australasian Refinement Workshop