OpenAlex
Formal Methods for Components and Objects
Work