Automated Expected Amortised Cost Analysis of Probabilistic Data Structures - Lorenz Leutgeb (arXiv.org)