(1)
Nesterenko, B. B.; Novatorskyi, M. O. FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS.
STP
2007
, 156-161.