"Semantics of Name and Value Passing."

Marcelo P. Fiore, Daniele Turi (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics