revisions by rh
add entries
automath
citations
wording