@workingPaper{BeierleVoß_1985, title={Implementation Specifications}, author={Beierle, Christoph and Voß, Angelika}, doi={http://dx.doi.org/10.22028/D291-38671}, adress={Kaiserslautern}, year={1985} }