1. Modelling conflict management in design: an explicit approach;Brazier,1994
2. On formal specification of design tasks;Brazier,1994
3. A logical theory of design;Brazier,1994
4. Proc. IFIP WG5.2 Second Workshop on Formal Design Methods for CAD;Brazier,1995