Formal Specification of Interactive Graphics Programming Languages. ACM Distinguished Dissertation Series (1982)

by William R Mallgren