Elements of concrete algorithmics: computability and solvability - O. I. Provotar; O. O. Provotar (Problems in programming, 2020)