\input zb-basic \input zb-ioport \iteman{io-port 70368079} \itemau{Lee, Hyonho} \itemti{Fast local-spin abortable mutual exclusion with bounded space} \itemso{OPODIS, 364-379 (2010).} \itemcc{} \itemut{} \itemli{doi:10.1007/978-3-642-17653-1\_27} \end