%0 Journal Article %A Bevis, J. H. %A Martin, C. K. %T Residuation theory and matrix multiplication on orthomodular lattices %J Glasgow mathematical journal %D 1969 %P 60-65 %V 10 %N 1 %U http://geodesic.mathdoc.fr/articles/10.1017/S0017089500000549/ %R 10.1017/S0017089500000549 %F 10_1017_S0017089500000549