Developing Java Card Applications with B. - Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira; David Déharbe (SBMF, 2005)

Automation of Java Card component development using the B method. - David Déharbe; Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira (ICECCS, 2006)

BSmart: A Tool for the Development of Java Card Applications with the B Method. - David Déharbe; Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira (ABZ, 2008)

Refining interfaces: the case of the B method - David Déharbe; Bruno Emerson Gurgel Gomes; Anamaria Martins Moreira (CoRR, 2009)

Applying the B Method for the Rigorous Development of Smart Card Applications. - Bruno Emerson Gurgel Gomes; David Déharbe; Anamaria Martins Moreira; Katia Moraes (ASM, 2010)