Wu, Zhang, Zhu, Zhao, Sun, Liu, 2013. Formal Modeling and Analysis of the REST Architecture Using CSP, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-38230-7_6