https://en.wikipedia.org/wiki/TUNIS
https://archive.org/details/concurrenteuclid00holt
https://en.wikipedia.org/wiki/Concurrent_Euclid
https://en.wikipedia.org/wiki/Euclid_(programming_language)