@article{P097.107, author={Audenaert, K.}, title={Clock Trees: Logical Clocks for Programs with Nested Parallelism}, journal={IEEE Transactions on Software Engineering}, year={1997}, month={10}, volume={23}, number={10}, pages={646-658}, publisher={IEEE Computer Society}, }