One important conclusion is derived that a sys- tem specification language or programming language does not solve the problem. An approach to specification in terms of relationships between state-spaces is suggested. This provides a metric for distinguishing between categories of information system, with indications of how they might be specified.