Pattern Calculus by Barry Jay