https://1library.org/document/yng5o830-especificação-formal-implementação-de-protótipo-para-linguagem-paralog.html