From Agent Theory to Agent Construction: A Case Study. - Luck, Michael; Griffiths, Nathan; d'Inverno, Mark (1996)