Lars-Åke Fredlund Jari Koistinen Fredrik Orava Formalising and Prototyping a Concurrent Object-Based Language. 116-125 1996 conf/lomaps/1996 LOMAPS db/conf/lomaps/lomaps96.html#FredlundKO96 http://dx.doi.org/10.1007/3-540-62503-8_6