b-method an introduction - Schneider Steve (Houndmills Palgrave, 2001)
Index 365-370p
Keywords: B-method; Computer software systems; Computer science