Text this: The Automatic assessment of Z specifications /