E G Manes

Book #26: Algebraic Theories

Book #115: Foundations of System Theory: Finitary and Infinitary Conditions