Alf Smith On Recursive Free Types in Z. 3-39 1991 conf/zum/1991 Z User Workshop db/conf/zum/zum1991.html#Smith91