Towards Statically Checking Adherence to API Protocols. - Jochen Quante; Sushmita Suresh Naragund (Softwaretechnik-Trends, 2023)