Systém automatickej syntézy algoritmov samočinného generátora determistických testov pre číslicové systémy - Pikula, Tomáš (STU v Bratislave FEI, 2002)