Monographs authored by Ketil Stølen

• Ketil Stølen. Development of parallel programs on shared data-structures. PhD thesis, Manchester University, 1990. Available as UMCS-91-1-1, Manchester University, January 1991. (pdf)
• Ketil Stølen. Teori for en bevisovervåker. Cand Scient thesis, University of Oslo, 1986.