Title: Algebraische Spezifikation
Subjects: Data structures (Computer science), Programming languages (Electronic computers), Semantics