[1] Logic for Computable Functions - Theorembeweiser, Grundlage für die Computersprache ML

[2] bei Lichtwellenleiter: Low Cost Fiber

[3] Launch Complex Equipment

[4] Language Central Facility

[5] LAN Configuration Facility

[6] Local Cycle Fatigü (->"IEEE Standard Dictionary")