Tchier F. Nondeterministic Relational Semantics of a while Program. JAM [Internet]. 2013 Oct. 31 [cited 2024 Nov. 23];3(3):242-60. Available from: https://rajpub.com/index.php/jam/article/view/7222