@workingPaper{GlasnerLoeckx_1978,
title={A calculus for proving properties of while-programs},
author={Glasner, Ingrid and Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26074},
year={1978}
}