Almost all of the earliest cited works on concurrency management in software were authored by C A R 'Tony' Hoare.

I genuinely forget he authored quicksort on the regular.

Actually, thanks to AI, this may change soon! we may be in a place where widespread formal verification is finally possible.