Process theory and equation solving door N.J. Drost