Support for Tentative Design: Incorporating the Screen Image, as a Graphical Object, into PROLOG. - Andre Schappo; Ernest A. Edmonds (Int. J. Man Mach. Stud., 1986)