Relating full abstraction results for different programming languages (1990)

by K Sieber
Venue:In Proc. 10th Conference on Foundations of Software Technology and Theoretical Computer Science