@doctoralThesis{Baumeister_1998,
title={Relations between abstract datatypes modeled as abstract datatypes},
author={Baumeister, Hubert},
doi={http://dx.doi.org/10.22028/D291-25678},
year={1998}
}