Oliveira JN.? 2012.??Towards a linear algebra of programming. Formal Aspects of Computing. 24:433-458.