D. Reidel Publishing Co., Dordrecht, Netherlands (1985)