PGA - ProGram Algebra

People

Jan Bergstra

Marijke Loots

Inge Bethke

Alban Ponse

Bob Diertens
Designer and maintainer of the PGA-Toolset.