Dan R. Ghica Guy McCusker Reasoning about Idealized ALGOL Using Regular Languages. 103-115 http://link.springer.de/link/service/series/0558/bibs/1853/18530103.htm 2000 conf/icalp/2000 ICALP db/conf/icalp/icalp2000.html#GhicaM00