Topology and category theory in computer science (Clarendon Press, 1991)
Literaturverz. S. 386 - 390