C. K. Yuen
-
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM