Synthesis and Structural Analysis of Abstract Programs

D. F. Cowell, Duncan Fyfe Gillies, A. A. Kaposi. Synthesis and Structural Analysis of Abstract Programs. Comput. J., 23(3):243-247, 1980.

Abstract

Abstract is missing.