d'Inverno, Mark; Hindriks, Koen and Luck, Michael. 2000. A Formal Architecture for the 3APL Agent Programming Language. In: Gerhard Goos; Juris Hartmanis and Jan van Leeuwen, eds. ZB 2000: Formal Specification and Development in Z and B. 1878 Berlin, Germany: Springer, pp. 168-187. ISBN 9783540679448 [Book Section]