Book

Formal Methods in Standards

by C. L. N. Ruggles