https://arcxiv.org/abs/cs%2F9301112 1990-04-01 https://arcxiv.org/abs/math%2F9201272 1990-04-20