Text this: Problems and methodologies in mathematical software production :