Specification of Constraints in Business Flow. - Shunsuke Yura; Toshihiro Motoda; Shuichiro Yamamoto (EDOC, 2000)