"Complete Proof Rules for Strong Fairness and Strong Extreme Fairness."

Michael G. Main (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics