• Методы верификации при декомпозиционном синтезе ДУУ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