Tchier, F. “Nondeterministic Relational Semantics of a While Program”. JOURNAL OF ADVANCES IN MATHEMATICS, vol. 3, no. 3, Oct. 2013, pp. 242-60, doi:10.24297/jam.v3i3.7222.