Interleaf, Inc.—1981 to 2000 | IEEE Journals & Magazine | IEEE Xplore