Abstract State Machines, B and Z

MLA

Börger, Egon, et al. Abstract State Machines, B and Z. Springer Berlin Heidelberg, 2008.

APA

Börger, E., Boca, P., Bowen, J. P, Butler, M., Kanade, T., Boca, P. P, & Kittler, J. (2008). Abstract State Machines, B and Z. Springer Berlin Heidelberg.

Chicago

Börger, Egon, Paul Boca, Jonathan P Bowen, Michael Butler, Takeo Kanade, Paul P Boca, and Josef Kittler. Abstract State Machines, B and Z. : Springer Berlin Heidelberg, 2008.