Agent interaction: abstract approaches to modelling, programming and verifying multi-agent systems. - Wietske de Vries (2002)