Development of Computer Programs by Problem Analysis Diagram (PAD). - Y. Futamura; T. Kawai; H. Horikoshi; M. Tsutsumi (ICSE, 1981)