Honeywell-800 Business Compiler

Another name for FACT.