International Conference on New Developments in Automatic Testing Brighton, Eng. 1977.