From 2004 Guide to the IEEE Software Engineering Body of Knowledge:

1.3. Constructing for Verification [Ben00; Hun00; Ker99; Mag93; McC04] /></a></b></p> <p align=

Anticipating change is supported by many specific techniques summarized in topic 3.3 Coding.

Many other citations on the page show similar escaped (pun intended) HTML. Is it intentionally ironic that the SWEBOK site itself is broken?