| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2004 | — | conf |
Essays in Memory of Ole-Johan Dahl
|
| 2002 | — | ch. |
Software Pioneers
|
| 2002 | — | ch. |
Software Pioneers
|
| 1998 | J | jnl |
Nord. J. Comput.
|
| 1998 | J | jnl |
Nord. J. Comput.
|
| 1996 | — | ed. |
COMPASS/ADT
|
| 1992 | — | book |
Verifiable programming.
|
| 1991 | — | conf |
VDM Europe (2)
|
| 1991 | J | jnl |
Formal Aspects Comput.
|
| 1990 | — | conf |
VDM Europe
|
| 1987 | — | ch. |
Research Directions in Object-Oriented Programming
|
| 1986 | — | conf |
OOPWORK
|
| 1985 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1979 | — | conf |
Abstract Software Specifications
|
| 1978 | — | conf |
HOPL
|
| 1978 | J | jnl |
ACM SIGPLAN Notices
|
| 1978 | — | conf |
HOPL
|
| 1974 | B | conf |
MFCS
|
| 1972 | — | book |
Structured programming.
|
| 1966 | J | jnl |
Commun. ACM
|