Voluntary and compulsory arbitration of labor disputes. (A survey of the current situation in ASEAN, 1988)