Iteratively Composing Statically Verified Traits. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin; Hrshikesh Arora (VPT@Programming, 2019)

Separating Use and Reuse to Improve Both. - Hrshikesh Arora; Marco Servetto; Bruno C. d. S. Oliveira (Art Sci. Eng. Program., 2019)