https://123dok.org/document/y4wjnv30-specifichedelprogetto-implementazionediunlinguaggiofunzionaleinsml.html