Here it is explained what ES is, how it used and what theoretical basis it has.
Basic Expected Shortfall