1. Axelrod, R.: The Evolution of Cooperation. Basic Books, New York (1984)
2. Blum, A., Furst, M.L.: Fast Planning Through Planning Graph Analysis. Artif. Intell. 90(1-2), 281–300 (1997)
3. Bryl, V., Giorgini, P., Mylopoulos, J.: Requirements Analysis for Socio-technical Systems: Exploring and Evaluating Alternatives. In: RE 2006 (Submitted, 2006)
4. Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing Security Requirements Models through Planning. Technical Report DIT-06-003, University of Trento (2006)
5. Caldwell, J.: Moving Proofs-as-Programs into Practice. In: Proc. of ASE 1997, pp. 10–17. IEEE Press, Los Alamitos (1997)