@doctoralThesis{Treinen_1991,
title={Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe},
author={Treinen, Ralf},
doi={http://dx.doi.org/10.22028/D291-25784},
year={1991}
}