A note on coinduction and weak bisimilarity for while programs J. J. M. M. Rutten — 1999 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications