Program Development by Refinement: Case Studies Using the B Method

Emil Sekerinski , Kaisa Sere