Шаповалова, С. І., and О. О. Мажара. “Formalization of Basic Pattern Matching Algorithms in Production Systems”. Eastern-European Journal of Enterprise Technologies, vol. 4, no. 3(76), Aug. 2015, pp. 22-27, doi:10.15587/1729-4061.2015.46571.