Monic Testing of Web Services Based on Algebraic Specifications