Sannella, Donald; Tarlecki, Andrzej The foundational legacy of ASL. (English) Zbl 1454.68068 De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 253-272 (2015). MSC: 68Q65 68-03 PDFBibTeX XMLCite \textit{D. Sannella} and \textit{A. Tarlecki}, Lect. Notes Comput. Sci. 8950, 253--272 (2015; Zbl 1454.68068) Full Text: DOI
Sannella, Donald; Tarlecki, Andrzej Property-oriented semantics of structured specifications. (English) Zbl 1342.68218 Math. Struct. Comput. Sci. 24, No. 2, Article ID e240205, 37 p. (2014). MSC: 68Q65 68Q55 PDFBibTeX XMLCite \textit{D. Sannella} and \textit{A. Tarlecki}, Math. Struct. Comput. Sci. 24, No. 2, Article ID e240205, 37 p. (2014; Zbl 1342.68218) Full Text: DOI
Mossakowski, Till; Pawłowski, Wiesław; Sannella, Donald; Tarlecki, Andrzej Parchments for CafeOBJ logics. (English) Zbl 1407.68311 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 66-91 (2014). MSC: 68Q65 PDFBibTeX XMLCite \textit{T. Mossakowski} et al., Lect. Notes Comput. Sci. 8373, 66--91 (2014; Zbl 1407.68311) Full Text: DOI Link
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej Observational interpretation CASL specifications. (English) Zbl 1141.68026 Math. Struct. Comput. Sci. 18, No. 2, 325-371 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Bidoit} et al., Math. Struct. Comput. Sci. 18, No. 2, 325--371 (2008; Zbl 1141.68026) Full Text: DOI
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej CASL: the Common Algebraic Specification Language. (English) Zbl 1061.68103 Theor. Comput. Sci. 286, No. 2, 153-196 (2002). MSC: 68Q65 68N30 PDFBibTeX XMLCite \textit{E. Astesiano} et al., Theor. Comput. Sci. 286, No. 2, 153--196 (2002; Zbl 1061.68103) Full Text: DOI
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej The definition of Extended ML: A gentle introduction. (English) Zbl 0901.68024 Theor. Comput. Sci. 173, No. 2, 445-484 (1997). MSC: 68N15 PDFBibTeX XMLCite \textit{S. Kahrs} et al., Theor. Comput. Sci. 173, No. 2, 445--484 (1997; Zbl 0901.68024) Full Text: DOI
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
Hofmann, Martin; Sannella, Donald On behavioural abstraction and behavioural satisfaction in higher-order logic. (English) Zbl 0874.68196 Theor. Comput. Sci. 167, No. 1-2, 3-45 (1996). MSC: 68Q60 68Q55 PDFBibTeX XMLCite \textit{M. Hofmann} and \textit{D. Sannella}, Theor. Comput. Sci. 167, No. 1--2, 3--45 (1996; Zbl 0874.68196) Full Text: DOI