1. Dong, R., Wei, Z., & sLuo, X. (2008). Model checking behavioral specification of BPEL web services. In Proceedings of the World Congress on Engineering 2008 (Vol. 1, pp. 2–4). London: U.K.
2. Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C. K., Thatte, S., Yendluri, P., & Yiu, A. Web Services [BPEL]. http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=
3. Clarke, E., Grumberg, O., & Peled, D. (1999) Model checking, The MIT Press
4. Holzmann, G. J. (1997). The Model checker SPIN. IEEE Transaction on Software Engineering, 23, 76–95.
5. Park, J., et al. (2013). A theorem prover for boolean BI. In ACM International conference on Principles of Programming Language (pp. 219–232)