(1) Formal Specification of Interactive Graphics Programming Languages by William R. Mallgren ISBN: 9780262131919 MIT Press View at publisher
(2) What Can Be Automated?: Computer Science and Engineering Research Study (COSERS) Edited by Bruce W. Arden ISBN: 9780262510264 MIT Press View at publisher