Mesztenyi, C.K. "FORMAL, A Formula Manipulation Language", Computer Note CN-1, CS Dept, U Maryland (Jan 1971).
(1971)
Languages mentioned
FORMAL
{1971}