Books by Michael E. J. Lean