Another link to a paper that seems relevant, Using LATEX as a Semantic Markup Format Michael Kohlhase Jacobs University Bremen, Germany https://svn.kwarc.info/repos/stex/doc/mcs08/stex.pdf Perhaps you're aware of this one already. :) It would be nice to have a central bibliography for this project, somewhere... Joe