DS-1994-03: Drost, Nicoline Johanna (1994) Process Theory and Equation Solving. Doctoral thesis, University of Amsterdam.