Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication.

Richard F. Paige

Browse the full IFM paper archive.