1. and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001. International Institute of Informatics and Systemics, 2001.
2. G. Gierz et al., A Compendium of Continuous Lattices. Springer-Verlag, Berlin, Heidelberg, New York, 1980.
3. R. Heckmann, A Non-Topological View of Dcpo’s as Convergence Spaces. In: T. Hurley, M. Mac an Airchinnigh, M. Schellekens and A.K. Seda (Eds.), Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, July, 2000. Electronic Notes in Theoretical Computer Science, Volume 40, 2001, Elsevier, pp. 1–22.
4. P. Hitzler and A.K. Seda, Acceptable Programs Revisited. Proceedings of the Workshop on Verification in Logic Programming, Sixteenth International Conference on Logic Programming (ICLP’99), Las Cruces, New Mexico, November, 1999. Electronic Notes in Theoretical Computer Science, Volume 30, No. 1, Elsevier, 1999, pp. 1–18.
5. J.M.E. Hyland, Filter Spaces and Continuous Functionals, Annals of Mathematical Logic, 16 (1979), 101–143.