Applications Of Categories In Computer Science - Fourman, M. P. (Cambridge, 1992)
Keywords: Mathematics