The superposition of two independent Markov renewal processes W. P. Cherry; R. L. Disney — 1983 Applicationes Mathematicae