Program Modification - Warnier, J.D (Springer US, 1978)