Marcel Oliveira Ana Cavalcanti Jim Woodcock A UTP semantics for <i>Circus</i>. 3-32 2009 21 Formal Asp. Comput. 1-2 http://dx.doi.org/10.1007/s00165-007-0052-5 db/journals/fac/fac21.html#OliveiraCW09