Henry H. Bi J. Leon Zhao Process Logic for Verifying the Correctness of Business Process Models. 91-100 2004 conf/icis/2004 ICIS db/conf/icis/icis2004.html#BiZ04