Siin on kõigepealt aine “Programmeerimiskeelte semantikad” koduleheküljed aastatest, mil ta on minu kaelas olnud:
Teiseks on siin 1997 sügissemestril tudengina aine “Transleerimismeetodid” eksamiks tehtud
Programmide teooria, täpsemini semantika alalt on kõik mu viimase aja teaduspublikatsioonid, mille loetelu leiab CV-st.