Barati, M. (2020). A Formal Technique for Composing Cloud Services. Information Technology And Control, 49(1), 5-27. https://doi.org/10.5755/j01.itc.49.1.23403