A Control-Flow Analysis for a Calculus of Concurrent Objects. - Blasio, Paolo Di; Fisher, Kathleen; Talcott, Carolyn L. (IEEE Trans. Software Eng., 2000)