發送短信: Algebraic specification / edited by J.A. Bergstra, J. Heering, P. Klint.