"Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))" - читать интересную книгу автора (Willem-Paul de Roever, Kai Engelhardt)