Queueing systems with a special service mechanism are considered. Arrivals consist of two types of customers, and services are performed for pairs of one customer from each type. The state of the queue is described by the number of pairs and the difference, called the excess, between the number of customers of each class. Under different assumptions for the arrival process, it is shown that the excess, considered at suitably defined epochs, forms a Markov chain which is either transient or null recurrent. A system with Poisson arrivals and exponential services is then considered, for which the arrival rates depend on the excess, in such a way that the excess is bounded. It is shown that the queue is stable whenever the service rate exceeds a critical value, which depends in a simple manner on the arrival rates. For stable queues, the stationary probability vector is of matrix-geometric form and is easily computable.