K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. In: Cambridge tracts on theoretical computer science (1998)

by W-P de Roever, Engelhardt