> KBSS
> STILL
> IDA
> AIC
Jelínek, I.
JELÍNEK, I. A Formal Design Method. Acta Polytechnica. 2000, 40(3), 49-52. ISSN 1210-2709.