books/bookvolbib add Lamport book "Specifying Systems"

Free pdf describing TLA+ model checking software.
http://research.microsoft.com/en-us/um/people/lamport/tla/book-02-08-08.pdf
Part of the effort to begin proving Axiom correct.