Derek Coleman, Jane W. Hughes. The Clean Termination of Pascal Programs. Acta Informatica, 11:195-210, 1979.
@article{ColemanH79, title = {The Clean Termination of Pascal Programs}, author = {Derek Coleman and Jane W. Hughes}, year = {1979}, tags = {termination, Pascal}, researchr = {https://researchr.org/publication/ColemanH79}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {11}, pages = {195-210}, }