Alexander Artikis Marek J. Sergot Jeremy Pitt Specifying Electronic Societies with the Causal Calculator. 1-15 2002 conf/aose/2002 AOSE http://link.springer.de/link/service/series/0558/bibs/2585/25850001.htm db/conf/aose/aose2002.html#ArtikisSP02