David Walker J. Gregory Morrisett Alias Types for Recursive Data Structures. 177-206 2000 conf/tic/2000 Types in Compilation http://link.springer.de/link/service/series/0558/bibs/2071/20710177.htm db/conf/tic/tic2000.html#WalkerM00