Applied categorical structures (Kluwer Academic Publishers, 1993)