Books by H. de Bruijn