Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It. - Sören Holmström (Specification and Verification of Concurrent Systems, 1988)

An Efficiency Comparison of Some Representations of Purely Functional Arrays. - Annika Aasa; Sören Holmström; Christina Nilsson (BIT, 1988)

A Composition Approach to Time Analysis of First Order Lazy Functional Programs. - Bror Bjerner; Sören Holmström (FPCA, 1989)

A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. - Sören Holmström (Formal Aspects Comput., 1989)