TY  - DATA
AU  - Michael Butler
AU  -  Alexander Raschke
AU  -  Thai Son Hoang
TI  - "Abstract State Machines, Alloy, B, TLA, VDM, and Z"
SN  - 9783319912714
KW  - Computer Science
KW  - Formal Languages and Automata Theory
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-91271-4
ER  -