sTeX: Semantic markup in TEX/LATEX (2010)

by Michael Kohlhase
Venue:Comprehensive TEX Archive Network (CTAN