publicações selecionadas Prospec: um formalismo para a especificação de sistemas de fabricação PROSPEC: um formalismo para a especificação de processos de fabricação