EMTST - Engineering Meta-theory of Session Types - Castro, David (2019)