Meseguer, José; Skeirik, Stephen Equational formulas and pattern operations in initial order-sorted algebras. (English) Zbl 1362.68054 Formal Asp. Comput. 29, No. 3, 423-452 (2017). MSC: 68N30 03B70 68N15 68Q45 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Formal Asp. Comput. 29, No. 3, 423--452 (2017; Zbl 1362.68054) Full Text: DOI
Simons, Martin; Weber, Matthias An approach to literate and structured formal developments. (English) Zbl 0843.68111 Formal Asp. Comput. 8, No. 1, 86-107 (1996). MSC: 68T27 PDFBibTeX XMLCite \textit{M. Simons} and \textit{M. Weber}, Formal Asp. Comput. 8, No. 1, 86--107 (1996; Zbl 0843.68111) Full Text: DOI