Paul Dechering Izak van Langevelde On the Verification of Coordination. 335-340 http://link.springer.de/link/service/series/0558/bibs/1906/19060335.htm 2000 conf/coordination/2000 COORDINATION db/conf/coordination/coordination2000.html#DecheringL00