Semantic markup for TEX/L (2004)

by Michael Kohlhase
Venue:ATEX. Mathematical User-Interfaces Workshop