Title: The definition of random sequence
First published: 1970