Author: Conference on Advances in Automatic Testing Technology University of Birmingham 1975.