MetateM: An introduction
scientific article; zbMATH DE number 829876
scientific article