Text this: On the future of computer program specification and organization /