 
                            ...
| [Gough 2005] | Section 8.6, "Floating-Point Issues" | 
| [Hatton 1995] | Section 2.7.3, "Floating-Point Misbehavior" | 
| [IEEE 754 2006] | |
| [Lockheed Martin 2005] | AV Rule 202, Floating-point variables shall not be tested for exact equality or inequality | 
...
 
                            ...
| [Gough 2005] | Section 8.6, "Floating-Point Issues" | 
| [Hatton 1995] | Section 2.7.3, "Floating-Point Misbehavior" | 
| [IEEE 754 2006] | |
| [Lockheed Martin 2005] | AV Rule 202, Floating-point variables shall not be tested for exact equality or inequality | 
...