A Simple Correctness Proof of the MCS Contention-Free Lock. - Theodore Johnson; Krishna Harathi (Inf. Process. Lett., 1993)

A Prioritized Multiprocessor Spin Lock. - Theodore Johnson; Krishna Harathi (IEEE Trans. Parallel Distributed Syst., 1997)