Verification problems in conceptual workflow specifications (1998)

by A H M Hofstede, M E Orlowska, J Rajapakse
Venue:Data and Knowledge Engineering