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