Books by Henry A.J. van Lanen