Book

Formal methods in standards

by C. L. N. Ruggles, Derek Andrews