Selection of representations for data structuresStanley J. RosenscheinShmuel M. Katz1977ACM SIGPLAN Notices
Process structuring, synchronization, and recovery using atomic actionsD.B. Lomet1977ACM SIGPLAN Notices