<![CDATA[
<body>
<H1> Formal Checkers </H1>
To view the scripy, "<b>Formal Checkers</b>", please follow the link below:<br />
<br />
<a href='http://www.alphaworks.ibm.com/tech/FoCs?open&ca=dgr-766FoCs' title="Formal Checkers" rel="nofollow"><b>Formal Checkers</b></a><br />
<br />
<br />
</body>
]]>