A Guide to safety and health at work for gas welding and flame cutting