A concrete framework for environment machines (2007)

by M Biernacka, O Danvy
Venue:ACM Trans. Comput. Logic