Algebraic methodology and software technology - Alagar, V S . (Springer, 1995)