Caires, Luis and Torres Vieira, Hugo Conversation types. Theoretical Computer Science, 411 (51–52). 4399 - 4440. ISSN 0304-3975 (2010)