Parametric Limits. - Brian P. Dunphy; Uday S. Reddy (LICS, 2004)

An Automata-Theoretic Model of Idealized Algol - (Extended Abstract). - Uday S. Reddy; Brian P. Dunphy (ICALP (2), 2012)