1.
LaTeX: A Document Preparation System (2nd Edition)
by Leslie Lamport
ISBN: 9780201529838
List Price: $49.99
2.
Specifying Systems The Tla+ Language and Tools for Hardware and Software Engineers
by Lamport, Leslie
ISBN: 9780321143068
List Price: $44.99
4.