Lessner, Daniel, and Jiří Vaníček. 2015. “Little Beaver Teaches Computer Science (4th Part of the Series – Tasks Using Logic)”. MATHEMATICS–PHYSICS–INFORMATICS 24 (5):377–390. https://mfi.upol.cz/index.php/mfi/article/view/236.