...
| SEI CERT C++ Coding Standard | VOID MSC01-CPP. Strive for logical completeness |
| ISO/IEC TS 17961 | Use of an implied default in a switch statement [swtchdflt] |
| ISO/IEC TR 24772 | Switch Statements and Static Analysis [CLL] |
...
| [Hatton 1995] | Section 2.7.2, "Errors of Omission and Addition" |
| [Viega 2005] | Section 5.2.17, "Failure to Account for Default Case in Switch" |
| [Zadegan 2009] | "A Lesson on Infinite Loops" |
...