OpenAlex
Verifiable Design of Asynchronous Software
Work