Concurrent Typestate-Oriented Programming in Java. - Rosita Gerbo; Luca Padovani (PLACES@ETAPS, 2019)