Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt with the assistance of Karl-Heinz Buth ... [et al.]. - Roever, W.-P. de (Cambridge tracts in theoretical computer science ;, 1998)