Text this: Una semántica formal de primitivas de modificación de estados de sistemas orientados a objetos.