Typechecking Java Protocols with [St]Mungo - A. Laura Voinea; Ornela Dardha; Simon J. Gay (2020)