R. Affeldt and K. Sakaguchi, “An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing”, JFR, vol. 7, no. 1, pp. 63–104, Jan. 2014.