Structured System Programming - Hardcover, by Welsh James - Very Good

Theory of Finite Automata with an Introduction to Formal Languages Like New

Introduction to Formal Specification and Z

Elements of Formal Semantics: An Introduction to the Mathematical Theory of...

An Introduction to Formal Languages and..., Linz, Peter

An Introduction to Formal Specification and Z (Prentice-Hall International Serie

Introduction Formal Specification And Z (2nd Edition) (Prentice-

An Introduction to Formal Languages and..., Linz, Peter