"Semantics of the reFLect language."

Sava Krstic, John Matthews (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics