Source: https://www.irisa.fr/triskell/members/pierre-alain.muller/teaching/langages