发送短信 : Automatic Program Construction Techniques Editors Alan Biermann, Gerald Guiho And Yves Kodratoff