"Correctness Proof of the Standardized Algorithm for ABR Conformance."

Jean-François Monin, Francis Klay (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics