<?xml version="1.0"?>
<!DOCTYPE doc [
<!ENTITY a "&b;">
<!ENTITY b "&c;">
<!ENTITY c "&a;">
]>
<doc> &a; violates [ WFC: No Recursion ] </doc>