Johannes Madsen A Computer System Supporting Data Abstraction. 38-78 1981 15 Operating Systems Review 2 db/journals/sigops/sigops15.html#Madsen81a