To facilitate the use of R, the authors have developed an R package called Benchmarking, which implements the main methods within both DEA and SFA.The book uses mathematical formulations of models and assumptions, but it de-emphasizes the formal proofs - in part by placing them in appendices -- or by referring to the original sources.