| |
| 1989 | ||
|---|---|---|
| 3 | Sören Holmström: A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. Formal Asp. Comput. 1(3): 242-272 (1989) | |
| 1988 | ||
| 2 | Sören Holmström: Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It. Specification and Verification of Concurrent Systems 1988: 294-330 | |
| 1 | Annika Aasa, Sören Holmström, Christina Nilsson: An Efficiency Comparison of Some Representations of Purely Functional Arrays. BIT 28(3): 490-503 (1988) | |
| 1 | Annika Aasa | [1] |
| 2 | Christina Nilsson | [1] |