Gerasimov, N. S. Strong Typing for Event-Driven Microservice Architecture. CTE 2019, 43-53.