R. T. Boute

• Declarative systems