TY  - RPRT
TI  - Object-oriented Programming Laws for Annotated Java Programs
AU  - Gabriel Falconieri Freitas
AU  - Márcio Cornélio
AU  - Tiago Massoni
AU  - Rohit Gheyi
PY  - 2010
DO  - 10.4204/eptcs.21.6
UR  - https://arxiv.org/abs/1003.4800
ID  - 1003.4800
ER  -