Text this: Pattern calculus : computing with functions and structures / Barry Jay.