"A Language for the Logical Specification of Processes and Relations."

Luís Caires (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics