Degrees of Souslin And Aronszajn Trees. - Ingrid Lindström (Math. Log. Q., 1987)

A Construction of Non-Well-Founded Sets within Martin-Lof's Type Theory. - Ingrid Lindström (J. Symb. Log., 1989)

Mathematical theory of domains. - Viggo Stoltenberg-Hansen; Ingrid Lindström; Edward R. Griffor (Cambridge University Press, 1994)