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