Grigori Mints Enn Tyugu Justifications of the Structural Synthesis of Programs. 215-240 1982 2 Sci. Comput. Program. 3 db/journals/scp/scp2.html#MintsT82 http://dx.doi.org/10.1016/0167-6423(83)90016-3