> KBSS
> STILL
> IDA
> AIC
Jelínek, I.
JELÍNEK, I. Formalization of the Design Process in CAD Systems. Praha: Czech Technical University in Prague, 1997.