Agent-oriented modeling by interleaving formal and informal specification (2003)

by A Perini, M Pistore, M Roveri, A Susi
Venue:AgentOriented Software Engineering IV, 4th International Workshop