@workingPaper{BeierleVoß_1983,
title={Canonical Term Functors and Parameterization-by-use for the Specification of Abstract Data Types},
author={Beierle, Christoph and Voß, Angelika},
doi={http://dx.doi.org/10.22028/D291-38727},
adress={Kaiserslautern},
year={1983}
}