Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell: ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. ESOP 2020: 626-655