Elements of Concrete Algorithmics: Computability and Solvability. - Oleksandr Provotar; Olga Provotar (UkrPROG, 2020)