C. Barry Jay Delia Kesner Pure Pattern Calculus. 100-114 2006 conf/esop/2006 ESOP http://dx.doi.org/10.1007/11693024_8 db/conf/esop/esop2006.html#JayK06