TPTP Reference: Ros90


@Book{Ros90,
    Author       = "Ross, K.A.",
    Year         = "1990",
    Title        = "{Elementary Analysis: The Theory of Calculus}",
    Edition      = "2nd",
    Publisher    = "Springer",
    Comment      = "TPTPRef"
}