J. Strother Moore

• A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
• Introduction to Abstract Algebra
• Piton