You are now leaving Totseans. Click the link to continue to http://www.cs.bgu.ac.il/~orlovm/papers/scrtlock.pdf.