Inference Systems for Binding Time Analysis. - Kirsten Lackner Solberg; Hanne Riis Nielson; Flemming Nielson (WSA, 1992)

Strictness and Totality Analysis. - Kirsten Lackner Solberg (SAS, 1994)

Uniform PERs and Comportment Analysis - Alan Mycroft; Kirsten Lackner Solberg (PLILP, 1995)

Strictness and Totality Analysis with Conjunction. - Kirsten Lackner Solberg (TAPSOFT, 1995)

Systematic Realisation of Control Flow Analyses for CML. - Kirsten Lackner Solberg Gasser; Flemming Nielson; Hanne Riis Nielson (ICFP, 1997)

Strictness and Totality Analysis. - Kirsten Lackner Solberg Gasser; Hanne Riis Nielson; Flemming Nielson (Sci. Comput. Program., 1998)