Also check out Rydeheard & Burstall's 'Computational Category Theory': http://83.143.248.39/faculty/aganchev/Category%20Theory/Rydeheard-Burstall/Computationa

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