Dongmei Liu, Hong Zhu, Ian Bayley. SOFIA: An Algebraic Specification Language for Developing Services. In 8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014, Oxford, United Kingdom, April 7-11, 2014. pages 70-75, IEEE, 2014. [doi]
Abstract is missing.