Randomness and Completeness in Computational Complexity by D. van Melkebeek