Lourenço, LM, Seco JC, Martins F.  2013.  Concurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. :1590-1591., Coimbra