M.A. Arbib

• A Basis for Theoretical Computer Science
• Algebraic Approaches To Program Semantics