Also check out Rydeheard & Burstall's 'Computational Category Theory':<p><a href="http://83.143.248.39/faculty/aganchev/Category%20Theory/Rydeheard-Burstall/Computational%20Cat%20Theory.pdf" rel="nofollow">http://83.143.248.39/faculty/aganchev/Category%20Theory/Ryde...</a><p>and all the SpecWare stuff of course:<p><a href="http://www.specware.org/doc.html" rel="nofollow">http://www.specware.org/doc.html</a>