An improved algorithm for constructing checking sequences - Braun, Robert Douglas (1980)