Computational category theory - Rydeheard, David E.; Burstall, Rod M. (New York : Prentice Hall, 1988)
Keywords: Electronic digital computers -- Programming; Categories (Mathematics) -- Data processing