D. Chisnall, J. Matthiesen, K. Memarian, K. Nienhuis, P. Sewell et al., C memory object and value semantics: the space of de facto and ISO standards, 2016.

D. W. Clive and . Feather, Indeterminate values and identical representations (dr260), September, 2004.

R. Krebbers, The C standard formalized in Coq, 2015.

W. Krebbers, N1637: Subtleties of the ANSI/ISO C standard, 2012.

K. Memarian, J. Matthiesen, J. Lingard, K. Nienhuis, D. Chisnall et al., Into the depths of C: elaborating the de facto standards, PLDI 2016: 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, 2016.