Qin, S., Dong, J., & Chin, W. (2003). A semantic foundation for TCOZ in unifying theories of programming. In FME 2003 : formal methods : International Symposium of Formal Methods Europe, 8-14 September 2003, Pisa, Italy: proceedings (321-340). https://doi.org/10.1007/978-3-540-45236-2_19