@workingPaper{Loeckx_1989,
title={OBSCURE : eine Spezifikations- und Verifikationsumgebung},
author={Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26434},
year={1989}
}