Michael Lienhardt Alan Schmitt Jean-Bernard Stefani Oz/K: a kernel language for component-based open programming. 43-52 2007 GPCE http://doi.acm.org/10.1145/1289971.1289980 conf/gpce/2007 db/conf/gpce/gpce2007.html#LienhardtSS07