@workingPaper{LehmannLoeckx_1987, title={The specification language of OBSCURE}, author={Lehmann, Thomas and Loeckx, Jacques}, doi={http://dx.doi.org/10.22028/D291-26433}, year={1987} }