WAIS interface protocol prototype functional specification (v.1.5). Thinking Machines Corp (1990)