PGA - People

Jan Bergstra
Initiator of the ProGram Algebra project.

Marijke Loots

Inge Bethke

Alban Ponse

Bob Diertens
Designer and maintainer of the PGA-Toolset.