Robert W. Irving: Optimal Stable Marriage. Encyclopedia of Algorithms 2008