أرسل هذا في رسالة قصيرة: Introduction to bisimulation and coinduction