Typed Languages for Events and their Applications - Jorge Miguel Soares Ramos (2021)