The Theory and Practice of Refinement:
Approaches to the Formal Development of Large-Scale Software Systems

by John A. McDermid, Workshop on the Theory and Practice of Refinement