TCHIER, F. Nondeterministic Relational Semantics of a while Program. JOURNAL OF ADVANCES IN MATHEMATICS, [S. l.], v. 3, n. 3, p. 242–260, 2013. DOI: 10.24297/jam.v3i3.7222. Disponível em: https://rajpub.com/index.php/jam/article/view/7222. Acesso em: 22 jul. 2024.