Proceedings of the Beijing international workshop on high temperature superconductivity : Beijing, 29 June - 1 July 1987 (Progress in high temperature superconductivity, 1987)