Transdex : bibliography and index to the United States Joint Publications Information Service (JPRS) publications.