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

by William R. Mallgren Hardcover details (United States). ISBN: 978-0-262-13191-9 ISBN-10: 0-262-13191-9 The MIT Press · 1983