A mathematician looks at the French verb (2015) [pdf]

Category Theory for Computing Science (1998) [pdf]