Владимир Высоцкий написал песни для некоторых персонажей книги этого профессора математики. Назовите эту книгу и ее автора.