Fawaz S. Al-Anzi David L. Spooner Stepwise Refinement of Complex Object Constraints in Design Views for Concurrent Engineering. 167-187 1995 conf/ds/1995 DS-6 db/conf/ds/ds95.html#Al-AnziS95