Pieter Hendrik Rodenburg Algebraic Specifiability of Data Types with minimal Computable Parameters. 97-116 1991 85 Theor. Comput. Sci. 1 db/journals/tcs/tcs85.html#Rodenburg91