1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
2. Anderson, R.: A security policy model for clinical information systems. In: Proc. of the 15th IEEE Symp. on Security and Privacy, IEEE Comp. Society Press, Los Alamitos (1996)
3. Anderson, R.: Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley Computer Publishing, Chichester (2001)
4. Bresciani, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent- Oriented Software Development Methodology. JAAMAS (to appear)
5. Castro, J., Kolp, M., Mylopoulos, J.: Towards Requirements-Driven Information Systems Engineering: The Tropos Project. Inform. Sys. 27(6), 365–389 (2002)