Abstract State Machines, Alloy, B, TLA, VDM, and ZKlaus Reichl, Thai Son Hoang, Alexander Raschke, Michael Butler E-bok2018732 kr