Introduction to computer systems - Douša, Jiří (České vysoké učení technické v Praze, 2000)