https://lucknowdigitallibrary.com/publications/reductive-elimination-by-a-g-samuelson