Wenfei Fan Scott Weinstein Specifying and Reasoning about Workflows with Path Constraints. 226-235 1999 conf/icsc/1999 ICSC db/conf/icsc/icsc1999.html#FanW99 http://dx.doi.org/10.1007/978-3-540-46652-9_22