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