[1]
B. B. Nesterenko and M. O. Novatorskyi, “FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS”,
STP
, no. 17, pp. 156–161, Aug. 2007.