Formal verification of parallel programs (1976)

by R KELLER
Venue:Comm. ACM