Language for the OnLine Investigation and Tranformation of Abstractions (->"IEEE Standard Dictionary")