> KBSS
> STILL
> IDA
> AIC
Pěchouček, M.
PĚCHOUČEK, M. Proof Planning:Methodology for Product Configuration. [Research Report] Praha: ČVUT FEL, Katedra řídicí techniky - Gerstnerova laboratoř, 1998. Report no. GL 58/98.