Simplified Language for Abstract Mathematical Structures. Eine einfache Programmiersprache für abstrakte mathematische Strukturen.