@workingPaper{Hertel_1978,
title={Semantics of programs in a formal system with partially defined functions},
author={Hertel, Joachim},
doi={http://dx.doi.org/10.22028/D291-26072},
year={1978}
}