Affeldt, Reynald, and Kazuhiko Sakaguchi. “An Intrinsic Encoding of a Subset of C and Its Application to TLS Network Packet Processing”. Journal of Formalized Reasoning 7, no. 1 (January 1, 2014): 63–104. Accessed April 2, 2025. https://jfr.unibo.it/article/view/4317.