Program development by refinement : case studies using the B method /
Sekerinski, E.(Emil),1963-
Sere, K.(Kaisa),1954-
London : Springer,
c1999.
Includes bibliographical references.
B (Computer program language)