Смирнов В, Новодворский А. Язык описания логических систем. ЛИ [Интернет]. 1 ноябрь 1995 г. [цитируется по 7 апрель 2025 г.];30:139-62. доступно на: https://logicalinvestigations.ru/article/view/50