Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language