Object-oriented Programming Laws for Annotated Java Programs - Gabriel Falconieri Freitas; Márcio Cornélio; Tiago Massoni; Rohit Gheyi (RULE, 2009)