Walker (1990)
Walker D. (1990)
Pi-calculus semantics of object-oriented programming languages
Report ECS-LFCS-90-122, University of Edinburgh