Lessner, D. a Vaníček, J. 2015. Bobřík učí informatiku (4. díl seriálu – Použití logiky v informatice). Matematika–Fyzika–Informatika. 24, 5 (lis. 2015), 377–390.