https://profilpelajar.com/en/Declarative_Aspects_of_Multicore_Programming