https://bookem.ir/books/1621806-MAMMUT-eine-verteilte-Speicherverwaltung-fu-r-symbolische-Manipulation