Lourenço, LM, Seco JC, Martins F.  2011.  Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos. Simpósio de Informática (INForum).