"A Complete Finite Prefix for Process Algebra."

Rom Langerak, Ed Brinksma (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics