Lattice path counting andM/M/c queueing systems · Study