Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7