Skuce, Douglas, "Module Development Based on Program Transformation and Automatic Generation of the Input-Output Relation," in Proceedings of the First International Logic Programming Conference, ed. M. van Caneghem, ADDP-GIA, Faculte des Sciences de Luminy, Marseille, France (September 1982)

Languages mentioned

• LESK {1975}