Arthur H. M. ter Hofstede Maria E. Orlowska Jayantha Rajapakse Verification Problems in Conceptual Workflow Specifications. 73-88 er96/ER96-P073.pdf 1996 ER db/conf/er/er96.html#HofstedeOR96 conf/er/96 db/conf/er/HofstedeOR96.html conf/vldb/AttieSSR93 journals/sigmod/BreitbartDSSW93 ... ... conf/er/CasatiCPP95 journals/dpd/ForstB95 journals/dpd/GeorgakopoulosHS95 books/fm/GareyJ79 ... journals/tcs/JonesLL77 journals/dpd/KrishnakumarS95 ... ... books/acm/kim95/RusinkiewiczS95 ... ...