Encyclopedia of computer science and technology. AN/FSQ-7 computer to bivalent programming by implicit enumeration / Volume 2, (2020)