Michael J. Butler, Alexander Raschke. Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). Science of Computer Programming, 197:102514, 2020. [doi]
@article{ButlerR20, title = {Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018)}, author = {Michael J. Butler and Alexander Raschke}, year = {2020}, doi = {10.1016/j.scico.2020.102514}, url = {https://doi.org/10.1016/j.scico.2020.102514}, researchr = {https://researchr.org/publication/ButlerR20}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {197}, pages = {102514}, }