1. Blarney, S.: 1986, Partial logic, in D. Gabbay and F. Günthner (eds), Handbook of Philosophical Logic, Reidel, Dordrecht, III, pp. 1–70.
2. Brazier, F. M. T., Langen, P. H. G. van, Ruttkay, Zs., and Treur, J.: 1994, On formal specification of design tasks, in J. S. Gero and F. Sudweeks (eds), Proceedings Artificial Intelligence in Design’94, Kluwer, Dordrecht, pp. 535–552.
3. Brazier, F. M. T., Langen, P. H. G. van, Treur, J., Wijngaards, N. J. E., and Willems, M.: 1994, Modelling a design task in DESIRE: The VT example, Technical Report IR-377, Artificial Intelligence Group, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. Also in A. Th. Schreiber and W. Birmingham (eds) (1995),International Journal on Human-Computer Studies, Special Issue on Sisyphus.
4. Brown, D. C. and Chandrasekaran, B.: 1989, Design Problem Solving: Knowledge Structures
and Control Strategies, Pitman, London.
5. Brumsen, H. A., Pannekeet, J. H. M., and Treur, J.: 1992, A compositional knowledge-based architecture modelling process aspects of design tasks, Proceedings of the Twelfth International Conference on Artificial Intelligence, Expert Systems and Natural Language (Avignon-92) EC2, Nanterre, Vol. 1, pp. 283–294.