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