Towards user interfaces prototyping from algebraic specification