@article{DesharnaisGrinenkoMoeller2014,
  author    = {Jules Desharnais and Anastasiya Grinenko and Bernhard M{\"o}ller},
  title     = {Relational style laws and constructs of linear algebra},
  journal   = {Journal of Logical and Algebraic Methods in Programming},
  volume    = {83},
  number    = {2},
  pages     = {154 -- 168},
  doi       = {10.1016/j.jlap.2014.02.005},
  year      = {2014},
}