https://123dok.net/document/6qmg0j5q-specification-d-une-machine-de-gestion-memoire-pour-les-interpreteurs-des-langages-logiques-version-1-provisoire.html