Formal Methods in Standards: A Report from the Bcs Working Group - Derek J. Andrews, Ann Wrightson, Nik Tetteh-Lartey, Clive L. N. Ruggles, Robert Neely, Clive Ruggles, David Blyth, Rick Thomas, David Duce, Patrick Hall et Cornelia Boldyreff