Leis de Ações
Alternação	Guardas	Esquemas	Paralelismo	Intercalação
Prefixo	Escolha Externa	Escolha Interna	Abstração	Recursão
Seqüência	Chaos	Bloco de Variáveis	Substituição
Obs: ⊆ representa o símbolo de refinamento.