"Process Algebra with Combinators."

Jan A. Bergstra, Inge Bethke, Alban Ponse (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics