Books by John J. Teunissen