The regular-language semantics of second-order idealized ALGOL (0)

by Dan R Ghica, Guy McCusker
Venue:Theoretical Computer Science