Read-alikes
Books like Formal Description Techniques and Protocol Specification, Testing and Verification
Readers who loved Formal Description Techniques and Protocol Specification, Testing and Verification by Teruo Higashino and others picked these up next.
