Improving the Capacity of Piles in Rock Through the Use of Expansive Cement Additives. February 15, 2018 by 5th Intl. Conf. and Exhibition on Piling and Deep Foundations, Belgium, June 1994 pp 1.2.1-1.2.7.