Distributions maintained by BENMEYER