Benjamin P. Wood Adrian Sampson Luis Ceze Dan Grossman Composable specifications for structured shared-memory communication. 140-159 2010 OOPSLA http://doi.acm.org/10.1145/1869459.1869473 conf/oopsla/2010 db/conf/oopsla/oopsla2010.html#WoodSCG10