Hardrock Tunnel Boring MachinesPublished Online: 17 OCT 2008