1980   >   115   >   1977   >   9.9   >   J10ECSE 1980   >