Robert W. Irving: Optimal Stable Marriage. Encyclopedia of Algorithms 2016: 1470-1473