A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs | Publicación