- Computer Systems:A Programmer's Perspective, 2. vydanie (Prentice Hall, 2016).
- Programovacie jazyky v kontexte:Prehľad hlavných paradigiem programovania (Springer, 2013).
- Prax programovania (Prentice Hall, 2010).
- Objektovo orientovaný dizajn a implementácia (Prentice Hall, 1999).
Články
- „Význam programovacích jazykov v učebných osnovách informatiky“ (Communications of the ACM, júl 2016).
- „Budúcnosť počítačového vzdelávania v rýchlo sa meniacom svete“ (Communications of ACM, august 2015).
- „Úloha teórie vo vzdelávaní informatiky“ (komunikácia ACM, jún 2014).
- "Prečo učiť programovanie?" (Oznámenia ACM, máj 2012).
Iné
- Spolueditor série Springer International Publishing "Základy a trendy® v programovacích jazykoch".
- Člen redakčnej rady časopisu ACM Journal on Educational Resources in Computing (JERIC).
- Predseda programového výboru Technického sympózia o vzdelávaní informatiky (SIGCSE) ACM SIGCSE v rokoch 2016 a 2017.
- Člen riadiaceho výboru SIGCSE Technical Symposium on Computer Science Education (SIGCSE) od roku 2014.
- Od roku 2012 je členom fakulty Asociácie pre výskum výpočtovej techniky (CRA).
- Člen Asociácie pre výpočtovú techniku (ACM) od roku 2009.