Відправити по sms: Introduction to bisimulation and coinduction