Zaslat SMS: Automatic Program Construction Techniques Editors Alan Biermann, Gerald Guiho And Yves Kodratoff