Naive Denotational Semantics. - Andrzej Blikle; Andrzej Tarlecki (IFIP Congress, 1983)

Some Thoughts on Algebraic Specification. - Donald Sannella; Andrzej Tarlecki (ADT, 1984)

Free Constructions in Algebraic Institutions. - Andrzej Tarlecki (MFCS, 1984)

Building Specifications in an Arbitrary Institution. - Donald Sannella; Andrzej Tarlecki (Semantics of Data Types, 1984)

Extended ML: an Institution - Independent Framework for Formal Program Development. - Donald Sannella; Andrzej Tarlecki (CTCS, 1985)

Bits and Pieces of the Theory of Institutions. - Andrzej Tarlecki (CTCS, 1985)

Continuous abstract data types: basic machinery and results. - Andrzej Tarlecki; Martin Wirsing (FCT, 1985)

Program Specification and Development in Standard ML. - Donald Sannella; Andrzej Tarlecki (POPL, 1985)

Algebraic specification of the abstract data type "Continuum". - Manfred Broy; Andrzej Tarlecki (Bull. EATCS, 1985)

A Language of Specified Programs. - Andrzej Tarlecki (Sci. Comput. Program., 1985)

On the Existence of Free Models in Abstract Algebraic Institutuons. - Andrzej Tarlecki (Theor. Comput. Sci., 1985)

Programming in the Large with Algebraic Module Specifications - Response. - Andrzej Tarlecki (IFIP Congress, 1986)

Quasi-varieties in Abstract Algebraic Institutions. - Andrzej Tarlecki (J. Comput. Syst. Sci., 1986)

Algebraic Specifications of Reachable Higher-Order Algebras. - Bernhard Möller; Andrzej Tarlecki; Martin Wirsing (ADT, 1987)

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). - Donald Sannella; Andrzej Tarlecki (TAPSOFT, Vol.1, 1987)

On Observational Equivalence and Algebraic Specification. - Donald Sannella; Andrzej Tarlecki (J. Comput. Syst. Sci., 1987)

Formal Development of ML Programs: Methodological Aspects. - Donald Sannella; Andrzej Tarlecki (ADT, 1988)

Algebraic Specification with Built-in Domain Constructions. - Bernhard Möller; Andrzej Tarlecki; Martin Wirsing (CAAP, 1988)

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. - Donald Sannella; Andrzej Tarlecki (Acta Informatica, 1988)

Specifications in an Arbitrary Institution - Donald Sannella; Andrzej Tarlecki (Inf. Comput., 1988)

Existence, Uniqueness, and Construction of Rewrite Systems. - Nachum Dershowitz; Leo Marcus; Andrzej Tarlecki (SIAM J. Comput., 1988)

Logic Representation in LF. - Robert Harper 001; Donald Sannella; Andrzej Tarlecki (Category Theory and Computer Science, 1989)

Structure and Representation in LF - Robert Harper 001; Donald Sannella; Andrzej Tarlecki (LICS, 1989)

Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). - Donald Sannella; Andrzej Tarlecki (TAPSOFT, Vol.2, 1989)

A Kernel Specification Formalism with Higher-Order Parameterization. - Donald Sannella; Andrzej Tarlecki (ADT, 1990)

Extended ML: Past, Present, and Future. - Donald Sannella; Andrzej Tarlecki (ADT, 1990)

A Naive Domain Universe for VDM. - Andrzej Tarlecki; Morten Wieth (VDM Europe, 1990)

Algebraic specification and formal methods for program development: what are the real problems? - Donald Sannella; Andrzej Tarlecki (Bull. EATCS, 1990)

A three-valued logic for software specification and validation. - Beata Konikowska; Andrzej Tarlecki; Andrzej Blikle (Fundam. Informaticae, 1991)

On Conservative Extensions of Syntax in System Development. - Andrzej Blikle; Andrzej Tarlecki; Mikkel Thorup (Theor. Comput. Sci., 1991)

Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. - Andrzej Tarlecki; Rod M. Burstall; Joseph A. Goguen (Theor. Comput. Sci., 1991)

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. - Andrzej Tarlecki (ESOP, 1992)

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. - Donald Sannella; Andrzej Tarlecki (ICALP, 1992)

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. - Donald Sannella; Stefan Sokolowski; Andrzej Tarlecki (Acta Informatica, 1992)

The Semantics of Extended ML: A Gentle Introduction. - Stefan Kahrs; Donald Sannella; Andrzej Tarlecki (Semantics of Specification Languages, 1993)

Algebraic specification and formal methods for program development: what are the real problems? - Donald Sannella; Andrzej Tarlecki (Current Trends in Theoretical Computer Science, 1993)

Interfaces and Extended ML. - Stefan Kahrs; Donald Sannella; Andrzej Tarlecki (Workshop on Interface Definition Languages, 1994)

Structured Theory Presentations and Logic Representations. - Robert Harper 001; Donald Sannella; Andrzej Tarlecki (Ann. Pure Appl. Log., 1994)

Moving Between Logical Systems. - Andrzej Tarlecki (COMPASS/ADT, 1995)

Behavioural Satisfaction and Equivalence in Concrete Model Categories. - Michel Bidoit; Andrzej Tarlecki (CAAP, 1996)

Mind the Gap! Abstract Versus Concrete Models of Specifications. - Donald Sannella; Andrzej Tarlecki (MFCS, 1996)

Combining and Representing Logical Systems. - Till Mossakowski; Andrzej Tarlecki; Wieslaw Pawlowski (Category Theory and Computer Science, 1997)

Combining and representing logical systems using model-theoretic parchments. - Till Mossakowski; Andrzej Tarlecki; Wieslaw Pawlowski (WADT, 1997)

Essential Concepts of Algebraic Specification and Program Development. - Donald Sannella; Andrzej Tarlecki (Formal Aspects Comput., 1997)

Foreword. - Jan Madey; Andrzej Tarlecki; Wladyslaw M. Turski (Sci. Comput. Program., 1997)

The Definition of Extended ML: A Gentle Introduction. - Stefan Kahrs; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 1997)

Towards Heterogeneous Specifications. - Andrzej Tarlecki (FroCoS, 1998)

Algebraic Methods for Specification and Formal Development of Programs. - Donald Sannella; Andrzej Tarlecki (ACM Comput. Surv., 1999)

Algebraic Preliminaries. - Donald Sannella; Andrzej Tarlecki (Algebraic Foundations of Systems Specification, 1999)

Institutions: An Abstract Framework for Formal Specifications. - Andrzej Tarlecki (Algebraic Foundations of Systems Specification, 1999)

Constructive Data Refinement in Typed Lambda Calculus. - Furio Honsell; John Longley; Donald Sannella; Andrzej Tarlecki (FoSSaCS, 2000)

First-Order Specifications of Programmable Data Types. - Grazyna Mirkowska; Andrzej Salwicki; Marian Srebrny; Andrzej Tarlecki (SIAM J. Comput., 2000)

Semantics of Architectural Specifications in CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (FASE, 2001)

Amalgamation in CASL via Enriched Signatures. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki (ICALP, 2001)

Checking Amalgamability Conditions for C ASL Architectural Specifications. - Bartek Klin; Piotr Hoffman; Andrzej Tarlecki; Lutz Schröder; Till Mossakowski (MFCS, 2001)

Global Development via Local Observational Construction Steps. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (MFCS, 2002)

Toward Component-Oriented Formal Software Development: An Algebraic Approach. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (RISSEF, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Architectural Specifications in CASL. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (Formal Aspects Comput., 2002)

CASL: the Common Algebraic Specification Language. - Egidio Astesiano; Michel Bidoit; Hélène Kirchner; Bernd Krieg-Brückner; Peter D. Mosses; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 2002)

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. - Till Mossakowski; Anne E. Haxthausen; Donald Sannella; Andrzej Tarlecki (Comput. Artif. Intell., 2003)

Foreword. - José Luiz Fiadeiro; Jan Madey; Andrzej Tarlecki (Inf. Process. Lett., 2003)

A Simple Refinement Language for Casl. - Till Mossakowski; Donald Sannella; Andrzej Tarlecki (WADT, 2004)

Editorial. - Andrzej Tarlecki (Inf. Process. Lett., 2004)

Amalgamation in the semantics of CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (Theor. Comput. Sci., 2005)

Horizontal Composability Revisited. - Donald Sannella; Andrzej Tarlecki (Essays Dedicated to Joseph A. Goguen, 2006)

Toward Specifications for Reconfigurable Component Systems. - Andrzej Tarlecki (ICATPN, 2007)

A Heterogeneous Approach to UML Semantics. - María Victoria Cengarle; Alexander Knapp; Andrzej Tarlecki; Martin Wirsing (Concurrency, Graphs and Models, 2008)

Observability Concepts in Abstract Data Type Specification, 30 Years Later. - Donald Sannella; Andrzej Tarlecki (Concurrency, Graphs and Models, 2008)

Heterogeneous Logical Environments for Distributed Specifications. - Till Mossakowski; Andrzej Tarlecki (WADT, 2008)

Observational interpretation of Casl specifications. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (Math. Struct. Comput. Sci., 2008)

What is a Logic Translation? - Till Mossakowski; Razvan Diaconescu; Andrzej Tarlecki (Logica Universalis, 2009)

Preface. - Lars Arge; Christian Cachin; Andrzej Tarlecki (Theor. Comput. Sci., 2009)

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). - Jörg Kreiker; Andrzej Tarlecki; Moshe Y. Vardi; Reinhard Wilhelm (Dagstuhl Manifestos, 2011)

Some Nuances of Many-sorted Universal Algebra: A Review. - Andrzej Tarlecki (Bull. EATCS, 2011)

Foundations of Algebraic Specification and Formal Software Development. - Donald Sannella; Andrzej Tarlecki (Springer, 2012)

Testing of Evolving Protocols. - Jacek Chrzaszcz; Patryk Czarnik; Aleksy Schubert; Andrzej Tarlecki (ICST, 2012)

Parchments for CafeOBJ Logics. - Till Mossakowski; Wieslaw Pawlowski; Donald Sannella; Andrzej Tarlecki (Specification, Algebra, and Software, 2014)

A Relatively Complete Calculus for Structured Heterogeneous Specifications. - Till Mossakowski; Andrzej Tarlecki (FoSSaCS, 2014)

Władysław Marek Turski (1938-2013). - Andrzej Tarlecki (Inf. Process. Lett., 2014)

The Institution-Theoretic Scope of Logic Theorems. - Razvan Diaconescu; Till Mossakowski; Andrzej Tarlecki (Logica Universalis, 2014)

Property-oriented semantics of structured specifications. - Donald Sannella; Andrzej Tarlecki (Math. Struct. Comput. Sci., 2014)

Răzvan Diaconescu, Institution-independent Model Theory. - Andrzej Tarlecki (Stud Logica, 2014)

Modularity of Ontologies in an Arbitrary Institution. - Yazmín Angélica Ibáñez-García; Till Mossakowski; Donald Sannella; Andrzej Tarlecki (Logic, Rewriting, and Concurrency, 2015)

The Foundational Legacy of ASL. - Donald Sannella; Andrzej Tarlecki (Software, Services, and Systems, 2015)

Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. - Grzegorz Marczynski; Donald Sannella; Andrzej Tarlecki (Int. J. Softw. Informatics, 2015)

Specification refinements: Calculi, tools, and applications. - Mihai Codescu; Till Mossakowski; Donald Sannella; Andrzej Tarlecki (Sci. Comput. Program., 2017)

On Normal Forms for Structured Specifications with Generating Constraints. - Donald Sannella; Andrzej Tarlecki (Graph Transformation, Specifications, and Nets, 2018)

Interpolation Is (Not Always) Easy to Spoil. - Andrzej Tarlecki (CALCO, 2023)