@article{ITA_1999__33_4-5_393_0, author = {Rutten, J. J. M. M.}, title = {A note on coinduction and weak bisimilarity for while programs}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {393--400}, publisher = {EDP-Sciences}, volume = {33}, number = {4-5}, year = {1999}, zbl = {0945.68073}, mrnumber = {1748663}, language = {en}, url = {http://www.numdam.org/item/ITA_1999__33_4-5_393_0/} }