Văn bản này: Automatic Program Construction Techniques Editors Alan Biermann, Gerald Guiho And Yves Kodratoff