Hidden Specification of a Functional System | Publicación