Probabilities over rich languages, randomness and testing (1982)

by H Gaifman, M Snir
Venue:J. of Symbolic Logic