@workingPaper{Guntram_1980,
title={Korrekte Implementierung abstrakter Datentypen durch Moduln in höheren Programmiersprachen},
author={Guntram, Ulrich},
doi={http://dx.doi.org/10.22028/D291-37817},
adress={Bonn},
year={1980}
}