Data Refinement: Model-Oriented Proof Methods and their Comparison (1998)

by W P de Roever, K Engelhardt
Venue:ASM Refinement Method 19