Manfred Broy
Technical University of Munich, Germany
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering