add TLA book by Leslie Lamport