M.: Automated reasoning about parallel algorithms using powerlists (1995)

by D Kapur, Subramaniam