Equality of functions in CAST | Publicación