LESSNER, D.; VANÍČEK, J. Bobřík učí informatiku (4. díl seriálu – Použití logiky v informatice). Matematika–Fyzika–Informatika, [S. l.], v. 24, n. 5, p. 377–390, 2015. Disponível em: http://158.194.80.143/index.php/mfi/article/view/236. Acesso em: 13 led. 2025.