A precondition-based approach to workflow oriented software re-engineering

Feng Chen, Da Tang, Hongji Yang, Mohammed Alawairdhi. A precondition-based approach to workflow oriented software re-engineering. Comput. Sci. Inf. Syst., 11(1):1-27, 2014. [doi]