Synthesis of Synchronization Code for Data Abstractions (1978)

by M S Laventhal