1. FORmula MANipulatioN LaNguage. AN early FortraN exteNsioN for symbolic mathematics. ["FORMAL, A Formula MaNipulatioN LaNguage", C.K. MeszteNyi, Computer Note CN-1, CS Dept, U MarylaNd (JaN 1971)]. 2. A data maNipulatioN laNguage for NoNprogrammers from IBMLASC. ["FORMAL: A Forms-OrieNted aNd Visual-Directed ApplicatioN System", N.C. Shu, IEEE Computer 18(8):38-49 (1985)]. (1994-12-06)