modeling in event-b,system and software design

jean-raymond abrial · cambridge univ pr