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 March 17, 2025. https://jfr.unibo.it/article/view/4317.