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