TY - RPRT TI - From Functions to Object-Orientation by Abstraction AU - Bob Diertens PY - 2012 UR - https://arxiv.org/abs/1209.6163 ID - 1209.6163 ER -