1. Domain theory;Abramsky,1994
2. Another look at the Localic Tychonoff Theorem;Banaschewski;Commentationes Mathematicae Universitatis Carolinae,1988
3. Algebra of Programming, volume 100 of International Series in Computer Science;Bird,1997
4. General Topology;Bourbaki,1989
5. Relational Methods in Computer Science,1996