Giuseppe Castagna Jan Vitek Francesco Zappa Nardelli The Seal Calculus. 1-54 2005 201 Inf. Comput. 1 http://dx.doi.org/10.1016/j.ic.2004.11.005 db/journals/iandc/iandc201.html#CastagnaVN05