Ziyang Duan Arthur J. Bernstein Philip M. Lewis Shiyong Lu A model for abstract process specification, verification and composition. 232-241 2004 conf/icsoc/2004 ICSOC http://doi.acm.org/10.1145/1035167.1035201 db/conf/icsoc/icsoc2004.html#DuanBLL04