Pošalji tekstualnu poruku: Algebraic Specification and Proof of a Distributed Recovery Algorithm