Grigori Mints, Enn Tyugu. Justifications of the Structural Synthesis of Programs. Science of Computer Programming, 2(3):215-240, 1982.
@article{MintsT82, title = {Justifications of the Structural Synthesis of Programs}, author = {Grigori Mints and Enn Tyugu}, year = {1982}, researchr = {https://researchr.org/publication/MintsT82}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {2}, number = {3}, pages = {215-240}, }