Automatically Mapping Sequential Objects to Concurrent Objects: The Mutual Exclusion Problem. - David L. Sims; Debra A. Hensgen (ICPP (2), 1993)

A Fair Banker's Algorithm for Read and Write Locks. - Debra A. Hensgen; David L. Sims; David Charley (Inf. Process. Lett., 1993)