1. Bosse, T., Jonker, C.M., Treur, J.: Analysis of Design Process Dynamics. In: Lopez de Mantaras, R., Saitta, L. (eds.) Proc. of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 293–297 (2004)
2. Brazier, F.M.T., van Langen, P.H.G., Treur, J.: A logical theory of design. In: Gero, J.S. (ed.) Advances in Formal Design Methods for CAD, Proc. of the Second International Workshop on Formal Methods in Design, pp. 243–266. Chapman & Hall, New York (1996)
3. Davis, A.M.: Software requirements: Objects, Functions, and States. Prentice Hall, New Jersey (1993)
4. Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley & Sons, New York (1998)
5. van Langen, P.H.G.: The anatomy of design: foundations, models and application. PhD thesis, Vrije Universiteit Amsterdam (2002)