@workingPaper{Loeckx_1980, title={Implementations of abstract data types and their correctness proofs}, author={Loeckx, Jacques}, doi={http://dx.doi.org/10.22028/D291-26091}, year={1980} }