Andrzej S. Murawski

• Foundations of Software Science and Computation Structures
• Nominal Game Semantics