Péter Gács Exact Expressions for some Randomness Tests. 124-131 1979 conf/tcs/1979 Theoretical Computer Science db/conf/tcs/tcs1979.html#Gacs79