%0 Journal Article %A Rutten, J. J. M. M. %T A note on coinduction and weak bisimilarity for while programs %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1999 %P 393-400 %V 33 %N 4-5 %I EDP-Sciences %G en %F ITA_1999__33_4-5_393_0