Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol: Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Aspects Comput. 35(2): 10:1-10:27 (2023)