Further Reading:

Gaifman, Haim & Snir, Marc (1982), Probabilities Over Rich Languages, Testing and Randomness. Journal of Symbolic Logic 47, 495-548. Par. 1-2 (pp. 495-510). pdf