Refinement of State-Based Concurrent Systems.

Jim Woodcock, Carroll Morgan

Browse the full FM paper archive.