Representing Control 31 (1989)

by F Nielson
Venue:Theoretical Computer Science