@workingPaper{LehmannLoeckx_1987,
title={OBSCURE : a specification environment for abstract data types},
author={Lehmann, Thomas and Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26432},
year={1987}
}