Andrzej Tarlecki

• FM 2005
• Mathematical Foundations of Computer Science 1991
• A language of specified programs
• Algebras for some input/output semantics
• Free constructions in algebraic institutions