Version of COMIT on GE 225 ca. 1966. Sammet 1969, p.419.
Nearby terms: least upper bound « leaves « LEC « LECOM » LED » LEDA » Leda