Jirí Adámek, Jan Reiterman. Banach's Fixed-Point Theorem as a base for data-type equations. Applied Categorical Structures, 2(1):77-90, 1994. [doi]
@article{AdamekR94, title = {Banach's Fixed-Point Theorem as a base for data-type equations}, author = {Jirí Adámek and Jan Reiterman}, year = {1994}, doi = {10.1007/BF00878504}, url = {http://dx.doi.org/10.1007/BF00878504}, researchr = {https://researchr.org/publication/AdamekR94}, cites = {0}, citedby = {0}, journal = {Applied Categorical Structures}, volume = {2}, number = {1}, pages = {77-90}, }