DUMAS M, VAN DER AALST W, TER HOFSTEDE A. Process-aware information systems:bridging people and software through process technology[M]. Garsington Road, Oxford, UK:Wiley-Blackwell,2005.
[2]
COOK S A. The complexity of theorem-proving procedures[C]//Proceedings of the 3rd Annual ACM Symposium on Theory of Computing. New York, N.Y.,USA:ACM,1971:151-158.
