R. Backhouse, Mathematics of Program Construction, 2004.

D. L. Parnas, Really Rethinking 'Formal Methods', Computer, vol.43, issue.1, pp.28-34, 2010.
DOI : 10.1109/MC.2010.22

R. Maddux, The origin of relation algebras in the development and axiomatization of the calculus of relations, Studia Logica, vol.59, issue.2, pp.421-455, 1991.
DOI : 10.1007/BF00370681

S. L. Bloom, N. Sabadini, and R. F. Walters, Matrices, machines and behaviors, Matrices, machines and behaviors, pp.343-360, 1996.
DOI : 10.1007/BF00122683

J. Conway, Regular Algebra and Finite Machines, Chap. & Hall, 1971.

N. Tr?ka, Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach, Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, pp.55-65, 2009.
DOI : 10.4204/EPTCS.13.5

A. Silva, F. Bonchi, M. M. Bonsangue, and J. J. Rutten, Quantitative Kleene coalgebras, Information and Computation, vol.209, issue.5, pp.822-849, 2011.
DOI : 10.1016/j.ic.2010.09.007

URL : https://hal.archives-ouvertes.fr/hal-00777557

A. Sernadas, J. Ramos, P. Mateus, S. , and T. Lisbon, Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources, pp.1049-1050, 2008.

M. Baroni and R. Zamparelli, Nouns are vectors, adjectives are matrices: representing adjective-noun constructions in semantic space, Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, pp.1183-1193, 2010.

B. Coecke, M. Sadrzadeh, and S. Clark, Mathematical foundations for a compositional distributed model of meaning, Linguistic Analysis, vol.36, issue.1-4, pp.345-384, 2010.

H. Macedo and J. Oliveira, Do the middle letters of " OLAP " stand for linear algebra, 2011.

J. R. Johnson, R. W. Johnson, D. Rodriguez, and R. Tolimieri, A methodology for designing, modifying, and implementing Fourier transform algorithms on various architectures, Circuits Systems and Signal Processing, vol.58, issue.3, pp.449-500, 1990.
DOI : 10.1007/BF01189337

M. Püschel, J. M. Moura, J. Johnson, D. Padua, M. Veloso et al., SPIRAL: Code Generation for DSP Transforms, Proceedings of the IEEE, pp.232-275, 2005.
DOI : 10.1109/JPROC.2004.840306

F. Franchetti, F. De-mesmay, D. Mcfarlin, and M. , Operator Language: A Program Generation Framework for Fast Kernels, IFIP Working Conference on Domain Specific Languages (DSL WC), pp.385-410, 2009.
DOI : 10.1109/TIT.1967.1054010

P. Freyd and A. Scedrov, Categories, Allegories, of Mathematical Library, 1990.

S. Maclane, Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998.

H. Macedo and J. Oliveira, Matrices as Arrows!, Mathematics of Program Construction, pp.271-287, 2010.
DOI : 10.1007/978-3-642-13321-3_16

A. Bove and P. Dybjer, Dependent Types at Work, Language Engineering and Rigorous Software Development, pp.57-99, 2009.
DOI : 10.1016/S0304-3975(00)00053-0

A. Tarski and S. Givant, A Formalization of Set Theory without Variables, AMS, vol.41, 1987.
DOI : 10.1090/coll/041

M. F. Frias, Fork algebras in algebra, logic and computer science, Logic and Computer Science, 2002.

M. Winter, A pseudo representation theorem for various categories of relations, Theory and Applications of Categories, vol.7, issue.2, pp.23-37, 2000.

S. Wolfram, Mathematica: a system for doing mathematics by computer, 1988.

Y. Voronenko, Library generation for linear transforms, 2008.

R. S. Bird, Lectures on Constructive Functional Programming, Constructive Methods in Computer Science, pp.151-218, 1988.
DOI : 10.1007/978-3-642-74884-4_5

K. Goto and R. A. Geijn, Anatomy of high-performance matrix multiplication, ACM Transactions on Mathematical Software, vol.34, issue.3, pp.1-25, 2008.
DOI : 10.1145/1356052.1356053

P. D-'alberto and A. Nicolau, Adaptive Strassen's matrix multiplication, Proceedings of the 21st annual international conference on Supercomputing, ICS '07, pp.284-292, 2007.

K. Abadir and J. Magnus, Econometric exercises 1, 2005.

H. Macedo, Matrices as arrows ? Why categories of matrices matter, 2011.

J. Magnus and H. Neudecker, The Commutation Matrix: Some Properties and Applications, The Annals of Statistics, vol.7, issue.2, pp.381-394, 1979.
DOI : 10.1214/aos/1176344621

A. Joyal and R. Street, The geometry of tensor calculus, I, Advances in Mathematics, vol.88, issue.1, pp.55-112, 1991.
DOI : 10.1016/0001-8708(91)90003-P

A. Joyal, R. Street, and D. Verity, Traced monoidal categories, Mathematical Proceedings of the Cambridge Philosophical Society, pp.447-468, 1996.
DOI : 10.1007/BF02096491

K. Do?-sen and Z. Petri´cpetri´c, Symmetric self-adjunctions and matrices, preprint available from http, p.2011, 2005.

J. N. Oliveira, Transforming Data by Calculation, Generative and Transformational Techniques in Software Engineering II, International Summer School, pp.134-195, 2008.
DOI : 10.1007/978-3-540-88643-3_4

K. Do?-sen and Z. Petri´cpetri´c, Self-adjunctions and matrices, Journal of Pure and Applied Algebra, vol.184, issue.1, pp.7-39, 2003.

W. E. Roth, On direct product matrices, Bulletin of the American Mathematical Society, vol.40, issue.6, pp.461-468, 1934.
DOI : 10.1090/S0002-9904-1934-05899-3

T. Altenkirch, J. Chapman, and T. Uustalu, Monads Need Not Be Endofunctors, Foundations of Software Science and Computational Structures, pp.297-311, 2010.
DOI : 10.1007/978-3-642-12032-9_21

J. Jeuring, The derivation of hierarchies of algorithms on matrices, Constructing Programs from Specifications, pp.9-32, 1991.

J. R. Lewis and B. Martin, Cryptol: high assurance, retargetable crypto development and validation, IEEE Military Communications Conference, 2003. MILCOM 2003., pp.820-825, 2003.
DOI : 10.1109/MILCOM.2003.1290218

A. Eddington, Relativity Theory of Electrons and Protons, 1936.