@workingPaper{Loeckx_1980,
title={Some properties of implementations of abstract data types},
author={Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26092},
year={1980}
}