Paradigms for abstracting systems | Publicación