author : Clive L. N. Ruggles

Books

• Formal Methods in Standards: a report from the BCS Working Group. 1990