@article{Moeller2006,
  author    = {Bernhard M{\"o}ller},
  title     = {The linear algebra of UTP},
  journal   = {Lecture Notes in Computer Science},
  volume    = {4014},
  pages     = {338 -- 358},
  doi       = {10.1007/11783596_20},
  year      = {2006},
}