Besson, et al.. A Concrete Memory Model for Compcert. Springer International Publishing, 2015, doi:10.1007/978-3-319-22102-1_5.