David Michel, Frédéric Gervais, Pierre Valarcher: B-ASM: Specification of ASM à la B. ASM 2010: 391