@workingPaper{Sieber_1981,
title={A new Hoare-calculs for programs with recursive parameterless procedures},
author={Sieber, Kurt},
doi={http://dx.doi.org/10.22028/D291-26135},
year={1981}
}