ПРОЛ-2: поиски продолжаются

На деревянном столе лежат три старых советских учебника по кибернетике, вычислительной математике и авиационно-космическим системам.
Книги из библиотеки из КНИТУ-КАИ, которые мне передали

После документального фильма о «Буране», который снял мой добрый друг Иван Черняков, я очень заинтересовался языком программирования «ПРОЛ-2».

На нём писались программы для этого космического корабля. Мне нравится копаться в истории программирования, а тут прям интрига — в интернете сведений почти нет, все, в основном, копируют у друг друга один и тот же абзац. В ходе своих исследований мне удалось добыть кое-какую информацию и я даже написал на этом языке «Песню о пиве», но хочется разузнать о нём побольше.

Пытаюсь пока раздобыть кое-какую литературу, где может оказаться информация о нём, но идёт тяжело — книги редкие, сканов нет, да и в не каждой библиотеке их найдёшь. Те, что на снимке, мне достались из библиотеки казанского вуза КНИТУ-КАИ. Упоминались они в списке литературы, который мне удалось получить из института, в котором проектировался «ПРОЛ-2», но, похоже, это ложный след — я пока только полистал их, но, кажется, они ничем не помогут.

Буду исследовать дальше, но есть вероятность, что на части документов по «Бурану» до сих пор есть какой-то гриф секретности, который не сняли по недосмотру, возможно информация по «ПРОЛу-2» находится в тех же документах.