The stationary G/G/s queue with non-identical servers. (1998)