Д. Цурко and М. Старков, “A simple lower bound of estimating of the checking symbols quantity”, RADAP, no. 46, pp. 100-104, Oct. 2011.