Process theory and equation solving by N.J. Drost