R. S. Pierce. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 (1959), pp. 175–182. | The Journal of Symbolic Logic | Cambridge Core
Java Concurrent Programming Basic type atomic class initial use plus source code analysis
Thread concurrency - CAS and atomic classes - Programmer Sought