https://9dok.net/document/yj79260p-introduction-to-mechanism-design.html