Conceptual Mathematics -- A First Introduction to Cathegories
A Formal Basis for the Specification of Concurrent Systems