Rodney R. Howell, Louis E. Rosier: An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. MFCS 1986: 422-430