Especificacio-formal-1.pdf