Abstract State Machines, Alloy, B, TLA, VDM, and Z

MLA

Yamine Ait Ameur, Klaus-Dieter Schewe, and Klaus-Dieter Schewe. Abstract State Machines, Alloy, B, Tla, Vdm, and Z. Springer Berlin Heidelberg, 2014.

APA

Yamine Ait Ameur, K. Schewe, & Schewe, K. (2014). Abstract State Machines, Alloy, B, TLA, VDM, and Z. Springer Berlin Heidelberg.

Chicago

Yamine Ait Ameur, Klaus-Dieter Schewe, and Klaus-Dieter Schewe. Abstract State Machines, Alloy, B, TLA, VDM, and Z. : Springer Berlin Heidelberg, 2014.