Graeme Smith

Graeme Smith is the author of books such as The Object-Z Specification Language.