LISA online user manual (Learned information, 1982)