Markus Hof Composable Message Semantics in Oberon. 11-25 2000 conf/jmlc/2000 JMLC db/conf/jmlc/jmlc2000.html#Hof00