Affeldt, R. and Sakaguchi, K. (2014) “An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing”, Journal of Formalized Reasoning, 7(1), pp. 63–104. doi: 10.6092/issn.1972-5787/4317.