Abbas Edalat, Michael B. Smyth. I-Categories as a Framework for Solving Domain Equations. Theoretical Computer Science, 115(1):77-106, 1993.
@article{EdalatS93:0, title = {I-Categories as a Framework for Solving Domain Equations}, author = {Abbas Edalat and Michael B. Smyth}, year = {1993}, researchr = {https://researchr.org/publication/EdalatS93%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {115}, number = {1}, pages = {77-106}, }