D. S. Prospero and P. J. Pereira,  "On programming an interactive graphical application in logic", in Comput. & Graphics Vol. 14 Nº 1 pp. 7-16, Pergamon Press, pp. 7-16, 1990