| |
| 1981 | ||
|---|---|---|
| 3 | Johannes Madsen: A Computer System Supporting Data Abstraction. Operating Systems Review 15(1): 45-72 (1981) | |
| 2 | Johannes Madsen: A Computer System Supporting Data Abstraction. Operating Systems Review 15(2): 38-78 (1981) | |
| 1977 | ||
| 1 | Johannes Madsen: An Experiment in Formal Definition of Operating System Facilities. Inf. Process. Lett. 6(6): 187-189 (1977) | |