Addison Wesley Verlag · Addison-Wesley
| title | ISBN-13 | year of publica- tion | |
|---|---|---|---|
| Das LaTeX-Handbuch . | 978-3-89319-826-9 | 1995 | |
| LaTeX: A Document Preparation System | 978-0-201-52983-8 | 1994 | |
| Latex Document Preparation System Users | 978-0-201-15790-1 | 1985 | |
| Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers | 978-0-321-14306-8 | 2002 |