Semantics of name and value passing (2001)

by Marcelo Fiore, Daniele Turi
Venue:In Proc. 16th LICS Conf