ZUZAK, IVAN, IVAN BUDISELIC, and GORAN DELAC. 2011. “A FINITE-STATE MACHINE APPROACH FOR MODELING AND ANALYZING RESTFUL SYSTEMS”. Journal of Web Engineering 10 (4):353-90. https://journals.riverpublishers.com/index.php/JWE/article/view/4041.