Peter Van Emde BoasBooksSOFSEM 2004 : Theory and Practice of Computer ScienceAutomata, languages and programmingAuthor data: Open Library