Title: On the axiomatic verification of concurrent algorithms
Subjects: Electronic data processing, Computer programming, Abstract data types (Computer science)