Tsunami Observations. Coastal Effects and Damage Due to the 3rd June, 1994 Java Tsunami, A. Maramai, S. Tinti. Expert Tsunami Database...