1. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist;Asperti,1991
2. A Convenient Category of Domains;Battenfeld;Electronic Notes in Computer Science,2007
3. A Relationship between Equilogical Spaces and Type Two Effectivity;Bauer;Electronic Notes in Theoretical Computer Science,2001
4. Equilogical Spaces;Bauer;Theoretical Computer Science,2004
5. General Topology;Engelking,1989