Formal specification of topological subdivisions using hypermaps

Jean-François Dufourd. Formal specification of topological subdivisions using hypermaps. Computer-Aided Design, 23(2):99-116, 1991. [doi]

Abstract

Abstract is missing.