A Formal Model of Multiple Abstraction | Publicación