Title: Gleichungen in der Algebra der binären Relationen
Subjects: Abstract data types (Computer science), Algebraic logic