Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Service-level agreements for service-oriented computing. In: Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science (5486). Springer, pp. 21-36. ISBN 978-3-642-03429-9 (2009)