Leslie Lamport

Specifying Systems: The TLA+ Language and Tools for Hardware ...

Leslie Lamport