Oscar H. Ibarra: Verification in Queue-Connected Multicounter Machines. Int. J. Found. Comput. Sci. 13(1): 115-127 (2002)