Черемисинов Д. И. Использование языка ПРАЛУ для верификации цифровых устройств. Информатика. 2018;15(4):86-98.