@Article{Nip14,
    Author       = "Nipkow, T.",
    Year         = "2014",
    Title        = "{Amortized Complexity Verified}",
    Journal      = "Archive of Formal Proofs",
    Note         = "http://isa-afp.org/entries/Amortized_Complexity.shtml",
    Comment      = "TPTPRef"
}