Pebble, a kernel language for modules and abstract data types
scientific article; zbMATH DE number 4055004