SADT . :
(0) : .
, . , SADT- . . 8.
. 8.
(1) . , , , (.9).
. 9.
(2) . , , , , (.10).
. 10.
(3) . - , (.11).
. 11.
(4) . , , / (. 12).
. 12.
(5) . , , . , , - (. 13).
. 13.
(6) . , . , , , . - , , . 14.
. 14.
, . 14, :
C = g(B) = g(f(A))