@workingPaper{Loeckx_1981,
title={Algorithmic specifications : a new specification method for abstract data types},
author={Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26422},
year={1981}
}