Jin Sa Brian Warboys A Reflexive Formal Software Process Model. 241-254 1995 conf/ewspt/1995 EWSPT db/conf/ewspt/ewspt1995.html#SaW95 http://dx.doi.org/10.1007/3-540-59205-9_65