Tchier, F. (2013) “Nondeterministic Relational Semantics of a while Program”, JOURNAL OF ADVANCES IN MATHEMATICS, 3(3), pp. 242–260. doi: 10.24297/jam.v3i3.7222.