Equational abstractions | Publicación