Enviar aquest missatge de text: Algebraic Specification and Proof of a Distributed Recovery Algorithm