Information Technology at Degree Level

Report of the IT Skills Shortages Committee, chaired by Mr John Butcher, MP, July 1984.

Report of the House of Lords Select Committee on Science and Technology: ‘Education and Training for New Technologies’, chaired by Lord Gregson, January 1985.

Mills H.D. (1985). Principles of Computer Programming: a Mathematical Approach. Computer Science Department, University of Maryland (to be published).

Hoare C.A.R. (1969). An axiomatic basis for computer programming Comm. ACM, vol 12, pp 576–580, October.

Scott D. (1970). Outline of a mathematical theory of computation Proceedings 4th Princeton Conference on Information Science and Systems, pp 169–176.

Floyd R.W. (1967). Assigning meanings to programs. Mathematical Aspects of Computer Science Amer. Math. Soc., pp 19–32.

Kowalski R (1979). Logic for Problem Solving North-Holland

Goguen J.A. (1978). An initial algebra approach to the specification, correctness and implementation of abstract data types. Current Trends in Programming Methodology. Prentice-Hall.

Burstall R.M. , and Goguen J.A. The semantics of CLEAR, a specification language. Lecture Notes in Computer Science Springer Verlag. Vol 86, pp. 292–332.

Milner R. A calculus of Communicating Systems. Lecture Notes in Computer Science Springer Verlag. Vol 92.

Brinksma H. , and Karjoth G. A specification of the OSI transport service in LOTOS. Proceedings of the International Workshop on Protocol Specification, Testing and Verification. North-Holland.

Card S.K. , Moran T.P. , and Newell A. (1983). The Psychology of Human-Computer Interaction. Erlbaum Associates.