Robert P. Cook, Insup Lee. A Contextual Analysis of Pascal Programs. Software: Practice and Experience, 12(2):195-203, 1982.
@article{CookL82, title = {A Contextual Analysis of Pascal Programs}, author = {Robert P. Cook and Insup Lee}, year = {1982}, tags = {program analysis, analysis, Pascal}, researchr = {https://researchr.org/publication/CookL82}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {12}, number = {2}, pages = {195-203}, }