Robert Cartwright A Constructive Alternative to Axiomatic Data Type Definitions. 46-55 1980 LISP Conference db/conf/lfp/lisp1980.html#Cartwright80