An abstract framework for environment machines (1991)

by P-L Curien
Venue:Theoretical Computer Science