Unwinding and the LOCK Proof Referees Study. - Sandra Rawlings Murphy; Stephen D. Crocker; Timothy Redmond (CSFW, 1992)