Specifying Systems
The TLA+ Language and Tools for Hardware and Software Engineers »

Latex
This authoritative user's guide and reference manual for the LATEX computer typesetting system has been revised to document features now available in the new... »

The Latex Companionst
A Complete Guide and Reference for Preparing, Illustrating, and Publishing Technical Documents, Revised Boxed Set »