Modular algebraic specifications and transformational program development by N.W.P. van Diepen