FORMAL SPECIFICATION OF INTERACTIVE GRAPHICS PROGRAMMING LANGUAGES (ACM DISTINGUISHED DISSERTATION) - MALLGREN,WILLIAM R (MP MASSACHUSETTS, 1985)