Inleiding theoretische informatica door M.P. Wiersma & P.R.C. Breukel