Employing finite-state machines in data integrity problemsAndrey Malikov, Vladimir Voronkin and Nikolay ShiryaevMATEC Web Conf., 76 (2016) 04017DOI: https://doi.org/10.1051/matecconf/20167604017
