@TechReport{Sve08,
    Author       = "Svensson, H.",
    Year         = "2008",
    Title        = "{A Semi-Automatic Correctness Proof Procedure applied to
                    Stoller's Leader Election Algorithm}",
    Number       = "Technical Report 2008:7",
    Institution  = "Computer Science and Engineering, Chalmers University of
                    Technology",
    Address      = "Goteborg, Sweden",
    Comment      = "TPTPRef"
}