Algebra of programming - Bird, Richard; Moor, Oege de. (New Delhi Prentice Hall of India PVt Ltd., 1998)
Keywords: Functions and categories; Recursive programs; Dynamic programming