I somehow just noticed that this article was partly authored by Jade Alglave and others who will certainly be aware of the papers I linked.