Nondeterministic Relational Semantics of a While Program. JAM 2013, 3 (3), 242-260. https://doi.org/10.24297/jam.v3i3.7222.