"A type system equivalent to static single assignment."

Yutaka Matsuno, Atsushi Ohori (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics