Category theory applied to computation and control - Manes, Ernest Gene (rz1, 1975)