Please see thesis.pdf for the most recent version of the thesis by Erik de Bruijn. Please see www.erikdebruijn.nl for more information.