COMPUTATIONAL CATEGORY THEORY - Rydeheard, David E.; Burstall, Rod M. (New York Prentice Hall, 1988)
Keywords: Categories (Mathematics) -- Data Processing; Electronic Digital Computers -- Programming