Gaya APA

Banach, R. (2011). Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial . : .

Gaya MLA

Banach, Richard. "Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial ". : , 2011. Text.