Цурко, Д.; Старков, М. A Simple Lower Bound of Estimating of the Checking Symbols Quantity. RADAP 2011, 100-104.