Computational functional analysis - Ramon E. Moore (Ellis Harwood Limited, 1985)