Guo, Jiang, Chen, Lin, 2007. A Certified Thread Library for Multithreaded User Programs, in: . IEEE.. https://doi.org/10.1109/tase.2007.1