Abstract State Machines, Alloy, B and Z

MLA

Frappier, Marc, et al. Abstract State Machines, Alloy, B and Z. Springer Berlin Heidelberg, 2010.

APA

Frappier, M., Glässer, U., Khurshid, S., Laleau, R., & Reeves, S. (2010). Abstract State Machines, Alloy, B and Z. Springer Berlin Heidelberg.

Chicago

Frappier, Marc, Uwe Glässer, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, and Steve Reeves. Abstract State Machines, Alloy, B and Z. : Springer Berlin Heidelberg, 2010.