Title: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subjects: Programming languages (electronic computers), Logic, symbolic and mathematical