https://doi.org/10.1016/0001-8791(82)90036-7