Gary Feldman Functional Specifications of a Text Editor. 37-46 1982 Symposium on LISP and Functional Programming db/conf/lfp/lfp1982.html#Feldman82