Arthur H. M. ter Hofstede Maria E. Orlowska Jayantha Rajapakse Verification Problems in Conceptual Workflow Specifications. 239-256 1998 24 Data Knowl. Eng. 3 db/journals/dke/dke24.html#HofstedeOR98 http://dx.doi.org/10.1016/S0169-023X(97)00032-3