Robert P. Cook, Insup Lee: A Contextual Analysis of Pascal Programs. Softw. Pract. Exp. 12(2): 195-203 (1982)