Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial | UPT Perpustakaan UHAMKA