July 1, 1987 Ph.D. Thesis, Stanford University Department of Computer Science Editing Graphical Objects Using Procedural Representations Paul Asente
February 1, 1987 Ph.D. Thesis, Cambridge University Department of Engineering, Cambridge, England, 1987 Computer Display and Manufacture of 3-D Models Gavin Miller
August 1, 1986 Computer Graphics Vol. 20, No. 4 , August 1986, pp 39-48 The Definition and Rendering of Terrain Maps Gavin Miller
December 20, 1981 ACM SIGSOFT Softw. Eng. Notes , 6(1), 9–14 Program reduction using symbolic execution J. King
October 11, 1981 In Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation , 82–91 JANUS: An interactive system for document composition D. Chamberlin, J. King, D. Slutz, S. Todd, P. J., B. Wade
February 21, 1980 IEEE Trans. Software Eng. , 6(5), 465-479 Program correctness: on inductive assertion methods J. King
November 14, 1976 ACM Comput. Surv. , 8(3), 331–353 An introduction to proving the correctness of programs S. Hantler, J. King