@workingPaper{Benzmüller_1993,
title={HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 3: Spezifikation der atomaren Funktionen},
author={Benzmüller, Christoph},
doi={http://dx.doi.org/10.22028/D291-25819},
year={1993}
}