Computational category theory - Rydeheard, David E.; Burstall, Rod M. (Prentice-Hall, 1988)
Literaturverz. S. 237 - 252