Formal specification of interactive graphics programming languages - Mallgren, William R. (Massachusetts Institute of Technology Cambridge Mass., 1985)