Combining ALGOL Statement Analysis with Validity Checking
CACM July, 1960
McIsaac, P.
