Ian Holyer Eleni Spiliopoulou Concurrent Monadic Interfacing. 72-87 http://link.springer.de/link/service/series/0558/bibs/1595/15950072.htm 1998 conf/ifl/1998 IFL db/conf/ifl/ifl1998.html#HolyerS98