Manual for repair methods of civil engineering structures damaged by earthquakes. (Technical note of the Public Works Research Institute, 1988)