Lotus HAL : user's manual. ([N.p.], 1986)