Stav dette: Introduction to bisimulation and coinduction