Password Authentication with Insecure Communication
Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Science of Concurrent Programs
The Part-Time Parliament