An algebraic notation for representing threads in object oriented software comprehension