"CSP with Hierarchical State."

Robert Colvin, Ian J. Hayes (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics