Relation algebras are matrix algebras over a suitable basis - Winter, Michael (Bericht, 1998)