Відправити по sms: Proof Methods for Structured Corecursive Programs