@workingPaper{Sieber_1984,
title={A partial correctness logic for procedures (in an ALGOL-like language)},
author={Sieber, Kurt},
doi={http://dx.doi.org/10.22028/D291-26480},
year={1984}
}