Towards User Interfaces Prototyping from Algebraic Specification | Publicación