Jost, Steffen (2010): Automated Amortised Analysis. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics