4 works on record
Modeling Companion for Software Practitioners
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Rigorous State-Based Methods
Logic, Computation and Rigorous Methods