Selected works of R.M. Dudley - Dudley, R. M. (Springer,)