أرسل هذا في رسالة قصيرة: Algebraic Specification and Proof of a Distributed Recovery Algorithm