Sekerinski, E. and K. Sere (1999). Program development by refinement : case studies using the B method. London ;, New York : Springer.
(1999)
Languages mentioned
B
{1996} Specification languag