A Formal Approach to the Specification of Graphic Objects Functions

Juan Carlos Torres, Buenaventura Clares Rodríguez. A Formal Approach to the Specification of Graphic Objects Functions. Comput. Graph. Forum, 13(3):371-380, 1994.

Abstract

Abstract is missing.