Specifying Systems (TLA+ Book) out and free for personal use

lamport.azurewebsites.net