Recursive Types for DUMMIES (2000)

by Vladimir Gapeyev, Michael Levin, Benjamin Pierce