TY - RPRT TI - Towards a Calculus of Object Programs AU - Bertrand Meyer PY - 2011 UR - https://arxiv.org/abs/1107.1999 ID - 1107.1999 ER -