@workingPaper{LehmannLoeckx_1990,
title={OBSCURE, a specification language for abstract data types},
author={Lehmann, Thomas and Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26477},
year={1990}
}