Abbreviations used in tables of Industrial Applications of HPCC