Cardone, 1992. An algebraic approach to the interpretation of recursive types, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-55251-0_4