Lotus HAL user manual. (Lotus Development Corporation, 1986)