Michaelson G. introduction to functional programming through Lambda calculus / G.Michaelson, 1988. - XV, 320 p. 320 p. - Текст : непосредственный.