On the use of a fundamental identity in the theory of semi-Markov queues · Study