Lotus HAL : User's manual - Lotus Development Corporation (Lotus Development Corporation, 1986)