Formal specification of interactive graphic programming languages (1982)

by W R Mallgren
Venue:ACM Dist. Dissertation