FormuleSemantica_Statica_Dinamica.pdf