Data Refinement: Model-Oriented Proof Methods and their Comparisons, tracts (1998)

by K Engelhardt W-P deRoever
Venue:in Theoretical Computer Science v.47