SOFIA: An Algebraic Specification Language for Developing Services