@workingPaper{Hornung_1979,
title={Einige Probleme der Algebrasemantik abstrakter Datentypen},
author={Hornung, Günter},
doi={http://dx.doi.org/10.22028/D291-36518},
adress={Bonn},
year={1979}
}