Formal spaces and their effective presentations. - Inger Sigstam (Arch. Math. Log., 1995)

Representability of Locally Compact Regular Spaces by Domains and Formal Spaces. - Inger Sigstam; Viggo Stoltenberg-Hansen (Theor. Comput. Sci., 1997)