@article{10_1017_S0017089500000549,
     author = {Bevis, J. H. and Martin, C. K.},
     title = {Residuation theory and matrix multiplication on orthomodular lattices},
     journal = {Glasgow mathematical journal},
     pages = {60--65},
     year = {1969},
     volume = {10},
     number = {1},
     doi = {10.1017/S0017089500000549},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/S0017089500000549/}
}