Program development by refinement : - Sekerinski, E. (Emil), 1963-; Sere, K. (Kaisa), 1954- (Formal approaches to computing and information technology, 1999)