K. N. Brown, C. A. McMahon, and J. H. Sims Williams, "A Formal Language for the Design of Manufacturable Objects," in J. S. Gero and E. Tyugu, eds., Formal Methods for CAD (Elsevier, The Netherlands, 1994).