Synthesis and Structural Analysis of Abstract Programs. - D. F. Cowell; Duncan Fyfe Gillies; A. A. Kaposi (Comput. J., 1980)