书名：如何使用TLA+语言描述系统

原著：Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport.

Issues with asciidoctor-mathematical

This issue with asciidoctor-mathematical would lead to an error when latexmath stems occurs in table cells. A quick fix is suggested in the discussion of this issue.
Latexmath stems are not rendered in table headers.

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
images		images
part01		part01
pdf-resources		pdf-resources
stylesheets		stylesheets
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
index.adoc		index.adoc
specifying-systems-cn.pdf		specifying-systems-cn.pdf