Debugging and assessment of control programs for an automatic radar. - K. Jackson; J. R. Prior (Comput. J., 1969)