Dennis de Champeaux Solutions and Their Problems. 119-127 1977 conf/icsym/1977 International Computing Symposium db/conf/icsym/icsym1977.html#Champeaux77