Reino Kurki-Suonio Tommi Mikkonen Abstractions of Distributed Cooperation, their Refinement and Implementation. 94-102 1998 PDSE http://dlib.computer.org/conferen/pdse/8467/pdf/84670094.pdf db/conf/pdse/pdse1998.html#Kurki-SuonioM98