@workingPaper{Loeckx_1985,
title={The algorithmic specification method of abstract data types : an overview},
author={Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26428},
year={1985}
}