Об автоматическом синтезе тестов для цифровых объектов систем управленияPlakk, Mari; Ubar, Raimund-JohannesVII Всесоюзное совещание по проблемам управления, Минск, 21-25 ноября 1977. Кн. 31977 / с. 97-98