на статью О. Макарова "On the computational complexity of bilinear forms multiplication over a body of quaternions".