Лекция 8. С.Л.Кузнецов. Инфинитарные исчисления для алгебр Клини