Electronic Systems Division: Technical documentary report ESD-TDR (series). 64-193. Logic of systems, introduction to formal theory of structure; [by] Masanao Toda, Emir H. Shuford, jr.