Text this: Collected papers of the session on mining and metallurgical engineering /