Tymoczko, Dmitri - Local Harmonic Grammar in Western Classical Music - 2010
Process Algebra (2IF45) Extending the Basic Process Algebra