Specifying systems : the TLA+ language and tools for hardware and software engineers /
Lamport, Leslie.
Boston ; London : Addison-Wesley,
c2003.
Includes bibliographical references and index.
System design.
Computer systems
Logic, Symbolic and mathematical.