SMS versenden: Introduction to bisimulation and coinduction