Paul McIsaac. Combining ALGOL statement analysis with validity checking. Communications of the ACM, 3(7):418-419, 1960. [doi]
@article{McIsaac60, title = {Combining ALGOL statement analysis with validity checking}, author = {Paul McIsaac}, year = {1960}, doi = {10.1145/367349.367360}, url = {http://doi.acm.org/10.1145/367349.367360}, tags = {analysis}, researchr = {https://researchr.org/publication/McIsaac60}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {3}, number = {7}, pages = {418-419}, }