, Morgan Kaufmann (Elsevier), ISBN 978-1-55860-623-4 Dynamic atomicity William Edward Weihl (1984): "Specification and Implementation of Atomic Data Types" , Ph.D. Thesis, MIT-LCS-TR-314, March 1984, MIT , LCS lab. William Edward Weihl (1988): "Commutativity-based concurrency control for abstract data types" , Proceedings of the Twenty-First Annual Hawaii International Conference on System