CafeOBJ cube

Legend: M = many
O = order
H = hidden
S = sorted
RW = rewriting
L = logic
A = algebra
-> = institution embedding