Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código. - OLIVEIRA, Elthon Allex da Silva. (2006)