Jay, Barry. <br/><br/>
Pattern calculus :  computing with functions and structures / 
Barry Jay. 
 - Berlin ;  London :  Springer,  2009. 
 - xvii, 213 p. :  ill, ;  24 cm. 
<br/><br/><label>ISBN: </label>9783540891840 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Data structures (Computer science)<br/>Functional programming (Computer science)<br/>Lambda calculus.