COMA (Symposium on Construction Over Mined Areas (1992 Pretoria, South Africa)