The Theory and practice of refinement approaches to the formal development of large-scale software systems
McDermid, John A.
London Butterworths
1989
Computer software