Методы верификации при декомпозиционном синтезе ДУУKruus, Margus; Keevallik, Andres; Kaširova, Lilia; Salum, KajaArvutustehnika kasutamise efektiivsuse tõstmise teed = Пути повышения эффективности использования вычислительной техники : konverentsi ettekande teesid1989 / lk. 53-54 https://www.ester.ee/record=b1215350*est

Построение контрольной последовательности для управляющих автоматов, реализованных на программируемых логических матрицKaširova, Lilia; Kruus, Margus; Ellervee, PeeterМашинное проектирование электронных устройств и систем1989 / с. 77-88