B. Gramlich, K. Györgyfalvay: "A Note on Minimal Counterexamples to Modularity of Termination"; Report No. E1852-2012-02, 2012; 9 pages.
http://publik.tuwien.ac.at/files/PubDat_216401.pdf