(1)
Voronkov, Y. V. RATIONALE DESIGNATED CONTROLLING COST.
STP
2007
, 221-225.