Aribatidae, a new myrmecophilous oribatid mite family from Java. International Journal of Acarology, 20(1), March 1994: 3-10. 3 [Zoological Record Volume 132]