Reasoning about Idealized ALGOL Using Regular Languages.

Dan R. Ghica, Guy McCusker

Browse the full ICALP paper archive.