Data Refinement by Willem-Paul de Roever, Kai Engelhardt & W-.P. De Roever