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