Завтра придётся ползти в библиотеку совсем с утра (перед работой). Потому что я обнаружило, что там есть ещё одна потенциально нужная (надеюсь, и правда пригодится) книжка, но каждый день в Москву ездить - во-первых сдохну, во-вторых разорюсь.