Formal veri cation of parallel programs (1976)

by R Keller
Venue:Communications of the ACM