Shramenko, N. Y. The Formalization Process of Cargo Terminal Operation. STP 2011, 211-215.