"The Reflexive CHAM and the Join-Calculus."

Cédric Fournet, Georges Gonthier (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics