Альфа - система автоматизации программирования (Наука, 1967)