Sannella, Donald; Tarlecki, Andrzej Essential concepts of algebraic specification and program development. (English) Zbl 0887.68070 Formal Asp. Comput. 9, No. 3, 229-269 (1997). MSC: 68Q65 PDFBibTeX XMLCite \textit{D. Sannella} and \textit{A. Tarlecki}, Formal Asp. Comput. 9, No. 3, 229--269 (1997; Zbl 0887.68070) Full Text: DOI
Lehmann, Thomas; Loeckx, Jacques OBSCURE, a specification language for abstract data types. (English) Zbl 0790.68072 Acta Inf. 30, No. 4, 303-350 (1993). Reviewer: T.Lehmann (Saarbrücken) MSC: 68Q60 68Q65 68N15 PDFBibTeX XMLCite \textit{T. Lehmann} and \textit{J. Loeckx}, Acta Inf. 30, No. 4, 303--350 (1993; Zbl 0790.68072) Full Text: DOI
Paulin-Mohring, Christine; Werner, Benjamin Synthesis of ML programs in the system Coq. (English) Zbl 0804.68132 J. Symb. Comput. 15, No. 5-6, 607-640 (1993). MSC: 68T15 68Q60 68N15 PDFBibTeX XMLCite \textit{C. Paulin-Mohring} and \textit{B. Werner}, J. Symb. Comput. 15, No. 5--6, 607--640 (1993; Zbl 0804.68132) Full Text: DOI
Kazmierczak, Edmund Modularising the specification of a small database system in extended ML. (English) Zbl 0739.68031 Formal Asp. Comput. 4, No. 1, 100-142 (1992). MSC: 68P15 68Q60 PDFBibTeX XMLCite \textit{E. Kazmierczak}, Formal Asp. Comput. 4, No. 1, 100--142 (1992; Zbl 0739.68031) Full Text: DOI
Sannella, Donald; Tarlecki, Andrzej Toward formal development of programs from algebraic specifications: Implementations revisited. (English) Zbl 0621.68004 Acta Inf. 25, No. 3, 233-281 (1988). MSC: 68Q60 68P05 PDFBibTeX XMLCite \textit{D. Sannella} and \textit{A. Tarlecki}, Acta Inf. 25, No. 3, 233--281 (1988; Zbl 0621.68004) Full Text: DOI