North Holland Publishing Co., Amsterdam, Netherlands [1986]