Pattern Calculus: Computing with Functions and Structures (2009)

by Barry Jay