An Interleave Principle for Demonstrating concurrent Programs. - Ted G. Lewis; Keith R. Spitz; Paul E. McKenney (IEEE Softw., 1984)