Categories and computer science - Walters, R.F.C (1991)