Jean Paul Bahsoun Stephan Merz Corinne Servieres A Framework for Programming and Formalizing Concurrent Objects. 126-137 1993 conf/sigsoft/1993 SIGSOFT FSE http://doi.acm.org/10.1145/256428.167072 db/conf/sigsoft/fse93.html#BahsounMS93