publicações selecionadas artigo de conferência Integration of concurrency control in a language with subtyping and subclassing 1995
