Rudolph, 1990. Self-assessment procedure XXI: a self-assessment procedure on concurrency 33.. https://doi.org/10.1145/78607.78616