Clayton H. Lewis Barry K. Rosen Recursively Defined Data Types. 125-138 1973 POPL db/conf/popl/popl73.html#LewisR73