Title: Abstract State Machines, Alloy, B, VDM, and Z
Subjects: Computational complexity, Discrete Mathematics in Computer Science, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Mathematics of Computing, Computer software