For a historical perspective, look at (in this order):

1. JoGo's OBJ and Maude: algebras on a rewrite engine

https://cseweb.ucsd.edu/~goguen/sys/obj.html

2. SPECWARE: a Category Theory approach from SRI Kestrel Institute

https://www.specware.org/research/specware/

https://github.com/KestrelInstitute/Specware/blob/master/Lib...