Raab, Peter, et al. “Isomorphism Between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems”. COMPUTING AND INFORMATICS, vol. 33, no. 4, Feb. 2015, pp. 721-34, https://www.cai.sk/ojs/index.php/cai/article/view/424.