Comments on "Basic Properties and a Construction Method for Fail-Safe Logical Systems"
Kristina Foster · IEEE Transactions on Computers · 1968
The paper by Mine and Kogal appears to have some unstated assumptions and inconsistencies which affect the validity of their claim to have presented "an effective method of logical design for fail-safe systems."