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 November 21, 2024. https://jfr.unibo.it/article/view/4317.