- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |