Formal Reasoning About Distributed Algorithms - Waldén, Marina (TUCS dissertations, 1998)