Formalising Java’s data race free guarantee (2007)

by D Aspinall, J Sevcik
Venue:In Proc. TPHOLs, LNCS