“…Hofmann and Moser applied amortised analysis to term rewriting [24], Hoffmann refined his work, made it fully automatic and carried over the analysis to concurrent programs and programs in C and OCaml [17,6,7,20,21]. Among other related work, mainly on resource analysis, are [10,5,13,1,11], which use different methods than our approach.…”