1. Richardson, M.A.L., Ruby, S.: RESTful Web APIs. 1st edn. O’reilly Media Inc., Sebastopol (2013)
2. Fielding, R.T.: Architectural styles and the design of network-based software architectures - Ph.D. dissertation. University of California, Irvine (2000). https://www.ics.uci.edu/~fielding/pubs/dissertation/fielding_dissertation.pdf
3. Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer-Verlag, Heidelberg (2004)
4. Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: a formal engineering methodology for industrial applications. IIEEE Trans. Softw. Eng. 24(1), 24–45 (1998). https://doi.org/10.1109/32.663996
5. Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice Hall (1990)