本棚.org

LaTeX: A Document Preparation System (Addison-Wesley Series on Tools and Techniques for Computer T)	h.kakugawa p-his psi take3
The Latex Document Preparation System: User's Guide & Reference Manual	gniibe
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers	h.kakugawa