On ASEP with Step Bernoulli Initial Condition - Craig A. Tracy; Harold Widom (Journal of Statistical Physics, 2009)