この資料をSMS送信: Automatic Program Construction Techniques Editors Alan Biermann, Gerald Guiho And Yves Kodratoff