Distributions maintained by BITTER