Measuring Sizes of Sets in P
nSipser 1983: Allowing randomness gives a cleaner connection.
n
n
nSipser used this and similar results to show how to simulate randomness by alternation.